Abstract
The theory of chi processes with the mismatch operator is studied. Two open congruence relations are investigated. These are weak early open congruence and weaklate open congruence. Complete systems are given for both congruence relations. These systems use some new tau laws. The results of this paper correct some popular mistakes in literature.
The author is funded by NNSFC (69873032) and the 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.
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, Lecture Notes in Computer Science 1664, Springer, 304–319, 1999.
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, D. Sangiorgi. Algebraic Theories for Name-Passing Calculi. Journal of Information and Computation, 120: 174–197, 1995.
J. Parrow, B. Victor. The Update Calculus. AMAST’ 97, Lecture Notes in Computer Science 1119, Springer, 389–405, 1997.
J. Parrow, B. Victor. The Tau-Laws of Fusion. CONCUR’ 98, Lecture Notes in Computer Science 1466, Springer, 99–114, 1998.
D. Sangiorgi. A Theory of Bisimulation for π-Calculus. CONCUR 93, Lecture Notes in Computer Science 715, Springer, 1993.
B. Victor, J. Parrow. Concurrent Constraints in the Fusion Calculus. ICALP’ 98, Lecture Notes in Computer Science 1443, Springer, 455–469, 1998.
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). Chi Calculus with Mismatch. In: Palamidessi, C. (eds) CONCUR 2000 — Concurrency Theory. CONCUR 2000. Lecture Notes in Computer Science, vol 1877. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-44618-4_42
Download citation
DOI: https://doi.org/10.1007/3-540-44618-4_42
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67897-7
Online ISBN: 978-3-540-44618-7
eBook Packages: Springer Book Archive