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

This publication has 17 references indexed in Scilit:

• An object calculus for asynchronous communication
  Published by Springer Nature ,2006
• Reasoning about interference in an object-based design method
  Published by Springer Nature ,2005
• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Constraining interference in an object-based design method
  Published by Springer Nature ,1993
• A layered semantics for a parallel object-oriented language
  Formal Aspects of Computing, 1992
• Functions as processes
  Mathematical Structures in Computer Science, 1992
• A small calculus for concurrent objects
  ACM SIGPLAN OOPS Messenger, 1991
• Rendez-Vous with Metric Semantics
  Published by Springer Nature ,1991
• Applications of Process Algebra
  Published by Cambridge University Press (CUP) ,1990
• The next 700 programming languages
  Communications of the ACM, 1966