Skip to main content
SpringerLink
Log in

Symmetric π-calculus

  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

An alternative presentation of the π-calculus is given. This version of the π-calculus is symmetric in the sense that communications are symmetric and there is no difference between input and output prefixes. The point of the symmetric π-calculus is that it has no abstract names. The set of closed names is therefore homogeneous. The π-calculus can be fully embedded into the symmetric π-calculus. The symmetry changes the emphasis of the communication mechanism of the π-calculus and opens up possibility for further variations.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Milner R, Parrow J, Walker D. A calculus of mobile processes.Information and Computation, 1992, 100: Part I: 1–40, Part II: 41–77, Academic Press.

    Article  MATH  MathSciNet  Google Scholar 

  2. Walker D. Objects in the π-calculus.Information and Computation, 1995, 116: 253–271, Academic Press.

    Article  MATH  MathSciNet  Google Scholar 

  3. Sangiorgi D, Milner R. Techniques of ‘Weak Bisimulation Up To’.CONCUR’92, Lecture Notes in Computer Science, 630, Springer-Verlag, 1992.

  4. Sangiorgi D.πI: A symmetric calculus based on internal mobility.TAPSOFT’95, Lecture Notes in Computer Science, Springer-Verlag, 1995.

  5. Fu Y. TheX-calculus. InProc. the International Conference on Advances in Parallel and Distributed Computing, IEEE Computer Society Press, 1997, pp.74–81.

  6. Fu Y. A proof theoretical approach to communications. InICALP’97, July 7th–11th, Bologna, Italy, Lecture Notes in Computer Science 1256, 1997, pp.325–335, Springer-Verlag.

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Shanghai Jiao Tong University, 200030, Shanghai, P.R. China

    Fu Yuxi

Authors
  1. Fu Yuxi
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Supported by NNSFC, grant number 69503006.

Fu Yuxi is an Associate Professor in the Department of Computer Science, Shanghai Jiao Tong University. He received his Ph.D. degree in computer science in 1992 from Manchester University, England. His current research interests include type theory, semantics and concurrency theory.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Fu, Y. Symmetric π-calculus. J. of Comput. Sci. & Technol. 13, 202–208 (1998). https://doi.org/10.1007/BF02943188

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02943188

Keywords

Search

Navigation