Basics Lab, Department of Computer Science Shanghai Jiao Tong University, Shanghai, China

---

Abstract—In this paper, we study an axiom system for the bisimilarity on finite Fair Ambient processes. In order to obtain normal forms of finite processes, we extended the syntax of Fair Ambient to put the nested ambient structure into prefixes. Upon our axiom system, if two finite Fair Ambient processes are equivalent can be effectively checked.

Index Terms—Fair Ambient, Axiomatization, Bisimilarity.

[PDF]

Cite: Han Zhu, "Axiomatic Systems for the Bisimilarity on Finite Fair Ambient Processes," Journal of Computers vol. 4, no. 6, pp. 469-476, 2009.