Abstract
The definition of open bisimilarity on the x-processes does not give rise to a sensible relation on the x-processes with the mismatch operator. The paper proposes ground open congruence as a principal open congruence on the x-processes with the mismatch operator. The algebraic properties of the ground congruence is studied. The paper also takes a close look at barbed congruence. This relation is similar to the ground congruence. The precise relationship between the two is worked out. It is pointed out that the sound and complete system for the ground congruence can be obtained by removing one tau law from the complete system for the barbed congruence.
The author is funded by NNSFC (69873032) and 863 Hi-Tech Project (863-306-ZT06-02-2). He is also supported by BASICS, Center of Basic Studies in Computing Science, sponsored by Shanghai Education Committee. BASICS is affiliated to the Department of Computer Science at Shanghai Jiaotong University.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Y. Fu. A Proof Theoretical Approach to Communications. ICALP’97, Lecture Notes in Computer Science 1256, Springer, 325–335, 1997.
Y. Fu. Bisimulation Lattice of Chi Processes. ASIAN’98, Lecture Notes in Computer Science 1538, Springer, 245–262, 1998.
Y. Fu. Variations on Mobile Processes. Theoretical Computer Science, 221: 327–368, 1999.
Y. Fu. Open Bisimulations of Chi Processes. CONCUR’99, Eindhoven, The Netherlands, August 24-27, Lecture Notes in Computer Science 1664, Springer, 304–319, 1999.
Y. Fu, Z. Yang. Chi Calculus with Mismatch. CONCUR 2000, Pennsylvania, USA, August 22-25, Lecture Notes in Computer Science 1877, Springer, 2000.
R. Milner, J. Parrow, D. Walker. A Calculus of Mobile Processes. Information and Computation, 100: 1–40 (Part I), 41-77 (Part II), Academic Press.
J. Parrow, B. Victor. The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes.
J. Parrow, D. Sangiorgi. Algebraic Theories for Name-Passing Calculi. Journal of Information and Computation, 120: 174–197, 1995.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fu, Y., Yang, Z. (2000). The Ground Congruence for Chi Calculus. In: Kapoor, S., Prasad, S. (eds) FST TCS 2000: Foundations of Software Technology and Theoretical Computer Science. FSTTCS 2000. Lecture Notes in Computer Science, vol 1974. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44450-5_31
Download citation
DOI: https://doi.org/10.1007/3-540-44450-5_31
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-41413-1
Online ISBN: 978-3-540-44450-3
eBook Packages: Springer Book Archive