The π-calculus-based Algorithm in Concurrency Comparison
Hao Bu, Shihong Chen, Rong Zhu, Xiaoqiong Tan · International Journal of Control and Automation · 2016
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.