Advertisement

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

  • C. B. Jones
Invited Talk
Part of the Lecture Notes in Computer Science book series (LNCS, volume 715)

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.

Keywords

Return Statement Abstract Syntax Process Algebra Concurrent Program Proof Obligation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [Ame9l]
    P. America, editor. ECOOP'91, volume 612 of Lecture Notes in Computer Science. Springer-Verlag, 1991.Google Scholar
  2. [AR89]
    Pierre America and Jan Rutten. A Parallel Object-Oriented Language: Design and Semantic Foundations. PhD thesis, Free University of Amsterdam, 1989.Google Scholar
  3. [AR92]
    Pierre America and Jan Rutten. A layered semantics for a parallel object-oriented language. Formal Aspects of Computing, 4(4):376–408, 1992.CrossRefGoogle Scholar
  4. [Bae90]
    J. C. M. Baeten, editor. Applications of Process Algebra. Cambridge University Press, 1990.Google Scholar
  5. [dBdV91]
    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. [GJ93]
    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. [HT91a]
    K. Honda and M. Tokoro. An object calculus for asynchronous communication. In [Ame91], pages 133–147, 1991.Google Scholar
  8. [HT91b]
    K. Honda and M. Tokoro. A small calculus for concurrent objects. ACM, OOPS Messenger, 2(2):50–54, 1991.Google Scholar
  9. [IM91]
    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. [Jon92]
    C. B. Jones. An object-based design method for concurrent programs. Technical Report UMCS-92-12-1, Manchester University, 1992.Google Scholar
  11. [Jon93a]
    C. B. Jones. Constraining interference in an object-based design method. In [GJ93], pages 136–150, 1993.Google Scholar
  12. [Jon93b]
    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. [Jon94]
    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. [Lan66]
    P. J. Landin. The next 700 programming languages. Communications of the ACM, 9:157–166, 1966.CrossRefGoogle Scholar
  15. [Mil89]
    R. Milner. Communication and Concurrency. Prentice Hall, 1989.Google Scholar
  16. [Mil92a]
    R. Milner. Functions as processes. Mathematical Structures in Computer Science, 2(2):119–141, 1992.Google Scholar
  17. [Mil92b]
    R. Milner. The polyadic π-calculus: A tutorial. In M. Broy, editor, Logic and Algebra of Specification. Springer-Verlag, 1992.Google Scholar
  18. [MPW92]
    R. Milner, J. Parrow, and D. Walker. A calculus of mobile processes. Information and Computation, 100:1–77, 1992.CrossRefGoogle Scholar
  19. [Nie92]
    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. [San93]
    D. Sangiorgi. From pi-calculus to higher-order pi-calculus — and back. In [GJ93], pages 151–166, 1993.Google Scholar
  21. [Vaa90]
    F. W. Vaandrager. Process algebra semantics of POOL. In [Bae90], pages 173–236. 1990.Google Scholar
  22. [Wal91]
    D. Walker. π-Calculus semantics of object-oriented programming languages. In [IM91], pages 532–547, 1991.Google Scholar
  23. [Wal93a]
    D. Walker. Objects in the π-calculus. Information and Computation, 1993. (to appear).Google Scholar
  24. [Wal93b]
    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. [Wol88]
    Mario I. Wolczko. Semantics of Object-Oriented Languages. PhD thesis, Department of Computer Science, University of Manchester, 1988.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1993

Authors and Affiliations

  • C. B. Jones
    • 1
  1. 1.Department of Computer ScienceManchester UniversityUK

Personalised recommendations