摘要：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.
关键词：asynchronous interaction;Buffer-Pi calculus;the labelled transition system with buffers;behavior equivalence relation
