Object-Oriented Process Specification

This publication has 4 references indexed in Scilit:

• Notes on Logic and Set Theory
  Published by Cambridge University Press (CUP) ,1987
• Tentative steps toward a development method for interfering programs
  ACM Transactions on Programming Languages and Systems, 1983
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Verifying properties of parallel programs
  Communications of the ACM, 1976