ISSN : 1796-203X
Volume : 4    Issue : 6    Date : June 2009

Axiomatic Systems for the Bisimilarity on Finite Fair Ambient Processes
Han Zhu
Page(s): 469-476
Full Text:
PDF (412 KB)

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