Axiomatic Systems for the Bisimilarity on Finite Fair Ambient Processes

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.