Parallel programming: An axiomatic approach

This publication has 9 references indexed in Scilit:

• Monitors: An Operating System Structuring Concept
  Published by Springer Nature ,1974
• Program proving: Coroutines
  Acta Informatica, 1973
• Towards a Theory of Parallel Programming
  Published by Springer Nature ,1972
• Proof of correctness of data representations
  Acta Informatica, 1972
• The programming language pascal
  Acta Informatica, 1971
• Procedures and parameters: An axiomatic approach
  Lecture Notes in Mathematics, 1971
• Cooperating Sequential Processes
  Published by Springer Nature ,1968
• Nondeterministic Algorithms
  Journal of the ACM, 1967
• Design of a separable transition-diagram compiler
  Communications of the ACM, 1963