Skip to main content
SpringerLink
Log in

Observing Asymmetry and Mismatch

  • Conference paper
Programming Languages and Systems (APLAS 2003)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2895))

Included in the following conference series:

  • 283 Accesses

Abstract

The chi calculus is studied in the framework incorporating two constructions widely useful in applications: asymmetric communication and mismatch condition. The barbed bisimilarity is used to give a general picture of how the two constructions affect the observational theory. Both the operational properties and the algebraic properties of the enriched calculus are investigated to support an improved understanding of the bisimulation behaviors of the model.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Dong, X., Fu, Y.: Algebraic Theory of Asymmetric Chi Calculus with Mismatch. Draft

    Google Scholar 

  2. Fu, Y.: The χ-Calculus. In: Proceedings of the International Conference on Advances in Parallel and Distributed Computing, pp. 74–81. IEEE Computer Society Press, Los Alamitos (1997)

    Google Scholar 

  3. Fu, Y.: A Proof Theoretical Approach to Communications. In: Degano, P., Gorrieri, R., Marchetti-Spaccamela, A. (eds.) ICALP 1997. LNCS, vol. 1256, pp. 325–335. Springer, Heidelberg (1997)

    Google Scholar 

  4. Fu, Y.: Bisimulation Lattice of Chi Processes. In: Hsiang, J., Ohori, A. (eds.) ASIAN 1998. LNCS, vol. 1538, pp. 245–262. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  5. Fu, Y.: Reaction Graphs. Journal of Computer Science and Technology 13, 510–530 (1998)

    Article  MATH  MathSciNet  Google Scholar 

  6. Fu, Y.: Variations on Mobile Processes. Theoretical Computer Science 221, 327–368 (1999)

    Article  MATH  MathSciNet  Google Scholar 

  7. Fu, Y.: Open Bisimulations of Chi Processes. In: Baeten, J.C.M., Mauw, S. (eds.) CONCUR 1999. LNCS, vol. 1664, pp. 304–319. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  8. Fu, Y.: Bisimulation Congruence of Chi Calculus. Information and Computation 184, 201–226 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  9. Fu, Y., Yang, Z.: Chi Calculus with Mismatch. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 596–610. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  10. Fu, Y., Yang, Z.: The Ground Congruence for Chi Calculus. In: Kapoor, S., Prasad, S. (eds.) FST TCS 2000. LNCS, vol. 1974, pp. 385–396. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  11. Fu, Y., Yang, Z.: Understanding the Mismatch Combinator in Chi Calculus. Theoretical Computer Science 290, 779–830 (2003)

    Article  MATH  MathSciNet  Google Scholar 

  12. Fu, Y., Yang, Z.: Tau Laws for Pi Calculus. Theoretical Computer Science (to appear)

    Google Scholar 

  13. Milner, R., Sangiorgi, D.: Barbed Bisimulation. In: Kuich, W. (ed.) ICALP 1992. LNCS, vol. 623, pp. 685–695. Springer, Heidelberg (1992)

    Google Scholar 

  14. Parrow, J., Victor, B.: The Update Calculus. In: Sassone, V., Montanari, U. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 389–405. Springer, Heidelberg (1996)

    Google Scholar 

  15. Parrow, J., Victor, B.: The Fusion Calculus: Expressiveness and Symmetry in Mobile Processes. In: LICS 1998, pp. 176–185. IEEE Computer Society, Los Alamitos (1998)

    Google Scholar 

  16. Parrow, J., Victor, B.: The Tau-Laws of Fusion. In: Sangiorgi, D., de Simone, R. (eds.) CONCUR 1998. LNCS, vol. 1466, pp. 99–114. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  17. Victor, B., Parrow, J.: Concurrent Constraints in the Fusion Calculus. In: Larsen, K.G., Skyum, S., Winskel, G. (eds.) ICALP 1998. LNCS, vol. 1443, pp. 455–469. Springer, Heidelberg (1998)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Shanghai Jiaotong University, Shanghai, 200030, China

    Xiaoju Dong & Yuxi Fu

Authors
  1. Xiaoju Dong
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yuxi Fu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Information Science, Japan Advanced Institute of Science and Technology, Tatsunokuchi, Ishikawa, Japan

    Atsushi Ohori

Rights and permissions

Reprints and permissions

Copyright information

© 2003 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dong, X., Fu, Y. (2003). Observing Asymmetry and Mismatch. In: Ohori, A. (eds) Programming Languages and Systems. APLAS 2003. Lecture Notes in Computer Science, vol 2895. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-40018-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-40018-9_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-20536-4

  • Online ISBN: 978-3-540-40018-9

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation