A pi-calculus semantics for an object-based design notation
Author:
- 1 January 1993
- book chapter
- Published by Springer Nature
- p. 158-172
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Constraining interference in an object-based design methodLecture Notes in Computer Science, 1993
- TAPSOFT'93: Theory and Practice of Software Development1993
- A calculus of mobile processes, IInformation and Computation, 1992
- A layered semantics for a parallel object-oriented languageFormal Aspects of Computing, 1992
- Functions as processesMathematical Structures in Computer Science, 1992
- A small calculus for concurrent objectsACM SIGPLAN OOPS Messenger, 1991
- Rendez-Vous with Metric Semantics1991
- Process algebra semantics of POOL1990
- Applications of Process Algebra1990
- The next 700 programming languagesCommunications of the ACM, 1966