A semantics and proof system for communicating processes

This publication has 8 references indexed in Scilit:

• On the relationship of CCS and CSP
  Published by Springer Nature ,2006
• A complete set of axioms for a theory of communicating sequential processes
  Published by Springer Nature ,1983
• Fixed point theorems and semantics: a folk tale
  Information Processing Letters, 1982
• A proof technique for communicating sequential processes
  Acta Informatica, 1981
• Algebraic semantics
  Lecture Notes in Computer Science, 1981
• A Proof System for Communicating Sequential Processes
  ACM Transactions on Programming Languages and Systems, 1980
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Communicating sequential processes
  Communications of the ACM, 1978