Axiomatic systems for the bisimilarity on finite fair ambient processes

作者：Zhu, Han

来源：Journal of Computers, 2009, 4(6): 469-476.

DOI：10.4304/jcp.4.6.469-476

• Axiom system
• Axiomatic system
• Axiomatization
• Bisimilarity
• Fair Ambient
• Normal form

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.

• 出版日期2009
• 单位上海交通大学