Abstract
Chi calculus was proposed as a process algebra that has a uniform treatment of names. The paper carries out a systematic study of bisimilarities for chi processes. The notion of L-bisimilarity is introduced to give a possible classification of bisimilarities on chi processes. It is shown that the set of L-bisimilarities forms a four element lattice and that well-known bisimilarities for chi processes fit into the lattice hierarchy. The four distinct L-bisimilarities give rise to four congruence relations. Complete axiomatization system is given for each of the four relations. The bisimulation lattice of asynchronous chi processes and that of asymmetric chi processes are also investigated. It turns out that the former consists of two elements while the latter twelve elements. Finally it is pointed out that the asynchronous asymmetric chi calculus has a bisimulation lattice of eight elements
Supported by the National Nature Science Foundation of China
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Amadio, R., Castellani, I., Sangiorgi, D.: On Bisimulation for the Asynchronous π-Calculus. CONCUR’96, Lecture Notes in Computer Science 1119 (1996)
Boudol, G.: Asynchrony and the χ-Calculus. Research Report 1702, INRIA, Sophia-Antipolis (1992)
Fu, Y.: The χ-Calculus. Proceedings of the International Conference on Advances in Parallel and Distributed Computing, March 19th–21th, Shanghai, IEEE Computer Society Press (1997) 74–81
Fu, Y.: A Proof Theoretical Approach to Communications. ICALP’97, July 7th–11th, Bologna, Italy, Lecture Notes in Computer Science 1256 (1997) 325–335
Fu, Y.: Reaction Graph. To appear in Journal of Computer Science and Technology (1998)
Fu, Y.: Variations on Mobile Processes. To appear in Theoretical Computer Science, Elsevier Science Publisher
Hennessy, M., Milner, R.: Algebraic Laws for Nondeterminism and Concurrency. Journal of ACM 67 (1985) 137–161
Honda, K., Tokoro, M.: An Object Calculus for Asynchronous Communication. ECOOP’ 91, Geneve, Lecture Notes in Computer Science (1991)
Merro, M.: On the Expressiveness of Chi, Update and Fusion Calculus. Express’98 (1998)
Milner, R.: Communication and Concurrency. Prentice Hall (1989)
Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes. Information and Computation 100 (1992) Part I:1–40, Part II:41–77
Milner, R., Sangiorgi, D.: Barbed Bisimulation. ICALP’92, Lecture Notes in Computer Science 623 (1992) 685–695
Parrow, J., Victor, B.: The Update Calculus. Proceedings of AMAST’97, Sydney, December 13–17 (1997)
Parrow, J., Victor, B.: The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. To appear in LICS’98 (1998)
Parrow, J., Victor, B.: The Tau-Laws of Fusion. To appear in CONCUR’98 (1998)
Sangiorgi, D.: A Theory of Bisimulation for π-Calculus. CONCUR’93, Lecture Notes in Computer Science 715 (1993)
Victor, B., Parrow, J.: Concurrent Constraints in the Fusion Calculus. To appear in ICALP’98 (1998)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1998 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Fu, Y. (1998). Bisimulation Lattice of Chi Processes. In: Hsiang, J., Ohori, A. (eds) Advances in Computing Science ASIAN 98. ASIAN 1998. Lecture Notes in Computer Science, vol 1538. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49366-2_19
Download citation
DOI: https://doi.org/10.1007/3-540-49366-2_19
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-65388-2
Online ISBN: 978-3-540-49366-2
eBook Packages: Springer Book Archive