Earticle

초록

영어

Targeting at the features of concurrency and mobility, π calculus nowadays could serve as a highly effective tool of modeling and evaluating the software system. After a brief introduction of π calculus, the paper mainly discusses a comparison algorithm based on π calculus which is used frequently in software modeling. Since there are two different ways of data storage: the random storage and the linked list storage of elements, the paper analyzes both, with the special emphasis on the algorithm in the comparison carried on by any two elements.

목차

Abstract
 1. Introduction
 2. A Brief Introduction of π-calculus
  2.1. Interaction
  2.2. π-Calculus Syntax
 3. The Comparison of Any Two Elements in the Well-Ordered Set by Using Random Storage of Π Calculus
 4. The Comparison of Any Two Elements in the Well-Ordered Set by Using Linked-List Storage of Π Calculus
 5. Conclusion
 References

키워드

저자

• Hao Bu [ Computer School of Wuhan University, China, Collaborative Innovation Center of Geospatial Technology, China, 3National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China ]
• Shihong Chen [ Computer School of Wuhan University, China, National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China ]
• Rong Zhu [ Computer School of Wuhan University, China, Collaborative Innovation Center of Geospatial Technology, China, 3National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China ]
• Xiaoqiong Tan [ Computer School of Wuhan University, China, Collaborative Innovation Center of Geospatial Technology, China, 3National Engineering Research Center for Multimedia Software, Computer School of Wuhan University, China ]

참고문헌

발행기관

간행물

표지보기 관심저널 등록

• 간행물명

  International Journal of Control and Automation

• 간기

  월간

• pISSN

  2005-4297

• 수록기간

  2008~2016

• 십진분류

  KDC 505 DDC 605