College of Computer Science and Technology, Jilin University, Changchun, Jilin Province, China

---

Abstract—According to the features of asynchronous interaction in systems, a new-type Pi calculus with buffers — Buffer-Pi calculus is proposed, the new labelled transition system based on buffers is introduced, the enhanced describing capability is shown to apply Buffer-Pi calculus to modeling with the concrete example of asynchronous interaction, and the new behavior equivalence relations are defined, several propositions and properties of Buffer-Pi calculus are given. The study shows that compared with Pi calculus, Buffer-Pi calculus can provide more powerful support for asynchronous behavior modeling in systems.

Index Terms—Asynchronous interaction, Buffer-Pi calculus, the labelled transition system with buffers, behavior equivalence relation.

[PDF]

Cite: Hui Kang, Zhi Wang, Shuangshuang Zhang, Fang Mei, "A New-type Pi Calculus with Buffers and Its Bisimulation," Journal of Computers vol. 7, no. 12, pp. 2931-2938, 2012.