A New-type Pi Calculus with Buffers and Its Bisimulation
|
Title | A New-type Pi Calculus with Buffers and Its Bisimulation |
Authors | |
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. |
Publisher | ACADEMY PUBLISHER |
Date | 2012-12-01 |
Source | Journal of Computers Vol 7, No 12 (2012): Special Issue: Advances in Computers and Electronics Engineering |
Rights | Copyright © ACADEMY PUBLISHER - All Rights Reserved.To request permission, please check out URL: http://www.academypublisher.com/copyrightpermission.html. |