Skip to main content
SpringerLink
Log in

π-Calculus semantics of object-oriented programming languages

  • Conference paper
  • First Online:
Theoretical Aspects of Computer Software (TACS 1991)

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

Included in the following conference series:

Abstract

The π-calculus provides a foundation for the study of computational systems with evolving communication structure. A system is viewed as a collection of agents which may share named communication links. Agents interact by passing to one another along shared links the names of other links. Semantics for a pair of parallel object-oriented programming languages are presented by translation into the π-calculus. The semantics are compared briefly with existing semantics of related languages.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. P. America, Issues in the design of a parallel object-oriented language, Formal Aspects of Computing, vol.1 no.4 pp.366–411 (1989).

    Article  Google Scholar 

  2. P. America, J. de Bakker, J. Kok and J. Rutten, Operational semantics of a parallel object-oriented language, in 13th POPL, 194–208 (1986).

    Google Scholar 

  3. P. America, J. de Bakker, J. Kok and J. Rutten, Denotational semantics of a parallel object-oriented language, Information and Computation, vol.83 no.2 (1989).

    Google Scholar 

  4. P. America and F. de Boer, A Proof System for Process Creation, Philips Research Laboratories Report RWR-116-DO-90506-DO (1990).

    Google Scholar 

  5. R. Milner, Communication and Concurrency, Prentice-Hall (1989).

    Google Scholar 

  6. R. Milner, Functions as Processes, Research Report 1154, INRIA (1990).

    Google Scholar 

  7. R. Milner, J. Parrow and D. Walker, A Calculus of Mobile Processes, Part I, University of Edinburgh report ECS-LFCS-89-85, to appear in J. Information and Computation.

    Google Scholar 

  8. R. Milner, J. Parrow and D. Walker, A Calculus of Mobile Processes, Part II, University of Edinburgh report ECS-LFCS-89-86, to appear in J. Information and Computation.

    Google Scholar 

  9. F. Orava and J. Parrow, Algebraic description of mobile networks: An example, to appear in Proc. 10th IFIP Symposium on Protocol Specification, Testing and Verification, North-Holland (1990).

    Google Scholar 

  10. F. Vaandrager, Process algebra semantics for POOL, Technical Report CS-R8629, CWI Amsterdam (1986).

    Google Scholar 

  11. D. Walker, Some results on the π-calculus, in Concurrency: Theory, Language, and Architecture, A. Yonezawa and T. Ito (eds.), Springer LNCS 491, 21–35 (1991).

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Technology, 2007, Sydney, NSW, Australia

    David Walker

Authors
  1. David Walker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Takayasu Ito Albert R. Meyer

Rights and permissions

Reprints and permissions

Copyright information

© 1991 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Walker, D. (1991). π-Calculus semantics of object-oriented programming languages. In: Ito, T., Meyer, A.R. (eds) Theoretical Aspects of Computer Software. TACS 1991. Lecture Notes in Computer Science, vol 526. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-54415-1_63

Download citation

  • DOI: https://doi.org/10.1007/3-540-54415-1_63

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-54415-9

  • Online ISBN: 978-3-540-47617-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation