Volume 4 Number 6 (Jun. 2009)
Home > Archive > 2009 > Volume 4 Number 6 (Jun. 2009) >
JCP 2009 Vol.4(6): 469-476 ISSN: 1796-203X
doi: 10.4304/jcp.4.6.469-476

Axiomatic Systems for the Bisimilarity on Finite Fair Ambient Processes

Han Zhu
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.

General Information

ISSN: 1796-203X
Abbreviated Title: J.Comput.
Frequency: Monthly
Editor-in-Chief: Prof. Liansheng Tan
Executive Editor: Ms. Nina Lee
Abstracting/ Indexing: DBLP, EBSCO,  ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, CNKI,etc
E-mail: jcp@iap.org
  • Jul 19, 2019 News!

    Vol 14, No 7 has been published with online version   [Click]

  • Jun 21, 2019 News!

    Vol 14, No 6 has been published with online version   [Click]

  • Apr 28, 2019 News!

    Vol 14, No 5 has been published with online version 7 papers are published in this issue after peer review   [Click]

  • Mar 20, 2019 News!

    Vol 14, No 3 has been published with online version   [Click]

  • Feb 22, 2019 News!

    Vol 14, No 2 has been published with online version 8 papers are published in this issue after peer review   [Click]

  • Read more>>