Volume 7 Number 12 (Dec. 2012)
Home > Archive > 2012 > Volume 7 Number 12 (Dec. 2012) >
JCP 2012 Vol.7(12): 2931-2938 ISSN: 1796-203X
doi: 10.4304/jcp.7.12.2931-2938

A New-type Pi Calculus with Buffers and Its Bisimulation

Hui Kang, Zhi Wang, Shuangshuang Zhang, Fang Mei
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.

General Information

ISSN: 1796-203X
Abbreviated Title: J.Comput.
Frequency: Bimonthly
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO,  ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jcp@iap.org
  • Nov 14, 2019 News!

    Vol 14, No 11 has been published with online version   [Click]

  • Mar 20, 2020 News!

    Vol 15, No 2 has been published with online version   [Click]

  • Dec 16, 2019 News!

    Vol 14, No 12 has been published with online version   [Click]

  • Sep 16, 2019 News!

    Vol 14, No 9 has been published with online version   [Click]

  • Aug 16, 2019 News!

    Vol 14, No 8 has been published with online version   [Click]

  • Read more>>