Skip to main content
SpringerLink
Log in

A pi-calculus semantics for an object-based design notation

  • Invited Talk
  • Conference paper
  • First Online:
CONCUR'93 (CONCUR 1993)

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

Included in the following conference series:

Abstract

Companion papers give examples of the development of concurrent programs using a design notation which employs a number of concepts from object-oriented programming languages. This paper documents the semantics of the design language by providing a mapping to the pi-calculus.

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, editor. ECOOP'91, volume 612 of Lecture Notes in Computer Science. Springer-Verlag, 1991.

    Google Scholar 

  2. Pierre America and Jan Rutten. A Parallel Object-Oriented Language: Design and Semantic Foundations. PhD thesis, Free University of Amsterdam, 1989.

    Google Scholar 

  3. Pierre America and Jan Rutten. A layered semantics for a parallel object-oriented language. Formal Aspects of Computing, 4(4):376–408, 1992.

    Article  Google Scholar 

  4. J. C. M. Baeten, editor. Applications of Process Algebra. Cambridge University Press, 1990.

    Google Scholar 

  5. J. W. de Bakker and E. P. de Vink. Rendez-vous with metric semantics. In Proceedings of the REX Workshop on Semantics: Foundations and Applications, volume 506 of Lecture Notes in Computer Science. Springer-Verlag, 1991.

    Google Scholar 

  6. M-C. Gaudel and J-P. Jouannaud, editors. TAPSOFT'93: Theory and Practice of Software Development, volume 668 of Lecture Notes in Computer Science. Springer-Verlag, 1993.

    Google Scholar 

  7. K. Honda and M. Tokoro. An object calculus for asynchronous communication. In [Ame91], pages 133–147, 1991.

    Google Scholar 

  8. K. Honda and M. Tokoro. A small calculus for concurrent objects. ACM, OOPS Messenger, 2(2):50–54, 1991.

    Google Scholar 

  9. T. Ito and A. R. Meyer, editors. TACS'91 — Proceedings of the International Conference on Theoretical Aspects of Computer Science, Sendai, Japan, volume 526 of Lecture Notes in Computer Science. Springer-Verlag, 1991.

    Google Scholar 

  10. C. B. Jones. An object-based design method for concurrent programs. Technical Report UMCS-92-12-1, Manchester University, 1992.

    Google Scholar 

  11. C. B. Jones. Constraining interference in an object-based design method. In [GJ93], pages 136–150, 1993.

    Google Scholar 

  12. C. B. Jones. Reasoning about interference in an object-based design method. In FME'93: Industrial-Strength Formal Methods, volume 670 of Lecture Notes in Computer Science, pages 1–18. Springer-Verlag, 1993.

    Google Scholar 

  13. C. B. Jones. Process algebra arguments about an object-based design notation. In A. W. Roscoe, editor, Festschrift for Tony Hoare. Prentice-Hall, 1994.

    Google Scholar 

  14. P. J. Landin. The next 700 programming languages. Communications of the ACM, 9:157–166, 1966.

    Article  Google Scholar 

  15. R. Milner. Communication and Concurrency. Prentice Hall, 1989.

    Google Scholar 

  16. R. Milner. Functions as processes. Mathematical Structures in Computer Science, 2(2):119–141, 1992.

    Google Scholar 

  17. R. Milner. The polyadic π-calculus: A tutorial. In M. Broy, editor, Logic and Algebra of Specification. Springer-Verlag, 1992.

    Google Scholar 

  18. R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100:1–77, 1992.

    Article  Google Scholar 

  19. Oscar Nierstrasz. Towards an object calculus. In M. Tokoro, O. Nierstrasz, and P.Wegner, editors, ECOOP'91, volume 612 of Lecture Notes in Computer Science, pages 1–20. Springer-Verlag, 1992.

    Google Scholar 

  20. D. Sangiorgi. From pi-calculus to higher-order pi-calculus — and back. In [GJ93], pages 151–166, 1993.

    Google Scholar 

  21. F. W. Vaandrager. Process algebra semantics of POOL. In [Bae90], pages 173–236. 1990.

    Google Scholar 

  22. D. Walker. π-Calculus semantics of object-oriented programming languages. In [IM91], pages 532–547, 1991.

    Google Scholar 

  23. D. Walker. Objects in the π-calculus. Information and Computation, 1993. (to appear).

    Google Scholar 

  24. D. Walker. Process calculus and parallel object-oriented programming languages. In International Summer Institute Parallel Computer Architectures, Languages, and Algorithms, Prague, 1993.

    Google Scholar 

  25. Mario I. Wolczko. Semantics of Object-Oriented Languages. PhD thesis, Department of Computer Science, University of Manchester, 1988.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Manchester University, M13 9PL, UK

    C. B. Jones

Authors
  1. C. B. Jones
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Eike Best

Rights and permissions

Reprints and permissions

Copyright information

© 1993 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Jones, C.B. (1993). A pi-calculus semantics for an object-based design notation. In: Best, E. (eds) CONCUR'93. CONCUR 1993. Lecture Notes in Computer Science, vol 715. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-57208-2_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-57208-2_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-47968-0

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation