A unifying framework for process calculus semantics of concurrent object-oriented languages

This publication has 10 references indexed in Scilit:

• Process algebra semantics of POOL
  Published by Cambridge University Press (CUP) ,1990
• Viewing object as patterns of communicating agents
  ACM SIGPLAN Notices, 1990
• Inheritance and synchronization with enabled-sets
  ACM SIGPLAN Notices, 1989
• A calculus of higher order communicating systems
  Published by Association for Computing Machinery (ACM) ,1989
• Inheritance in Actor Based Concurrent Object-Oriented Languages
  The Computer Journal, 1989
• Concurrency Features for the Trellis/Owl Language
  Published by Springer Nature ,1987
• Using prototypical objects to implement shared behavior in object-oriented systems
  ACM SIGPLAN Notices, 1986
• Encapsulation and inheritance in object-oriented programming languages
  ACM SIGPLAN Notices, 1986
• Object-oriented concurrent programming in ABCL/1
  ACM SIGPLAN Notices, 1986
• A Calculus of Communicating Systems with Label Passing
  DAIMI Report Series, 1986