Communicating Sequential Processes

This publication has 6 references indexed in Scilit:

• The specification of process synchronization by path expressions
  Published by Springer Nature ,2005
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975
• The programming language Concurrent Pascal
  IEEE Transactions on Software Engineering, 1975
• Proof of correctness of data representations
  Acta Informatica, 1972
• The programming language pascal
  Acta Informatica, 1971
• Design of a separable transition-diagram compiler
  Communications of the ACM, 1963