An approach to object-orientation in action systems

This publication has 24 references indexed in Scilit:

• A logic of object-oriented programs
  Published by Springer Nature ,1997
• The B-Book
  Published by Cambridge University Press (CUP) ,1996
• The weakest precondition calculus: Recursion and duality
  Formal Aspects of Computing, 1994
• Superposition Refinement of Parallel Algorithms
  Published by Elsevier ,1992
• Refinement calculus, part II: Parallel and reactive programs
  Published by Springer Nature ,1990
• Denotational semantics of a parallel object-oriented language
  Information and Computation, 1989
• Decentralization of process nets with centralized control
  Distributed Computing, 1989
• Parallel Program Design
  Published by Springer Nature ,1989
• Operational semantics of a parallel object-oriented language
  Published by Association for Computing Machinery (ACM) ,1986
• Actors
  Published by MIT Press ,1986