On the relationship of CCS and CSP

This publication has 6 references indexed in Scilit:

• A term model for CCS
  Published by Springer Nature ,2005
• An enlarged definition and complete axiomatization of observational congruence of finite processes
  Published by Springer Nature ,1982
• Possible futures, acceptances, refusals, and communicating processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• On observing nondeterminism and concurrency
  Lecture Notes in Computer Science, 1980
• Communicating sequential processes
  Communications of the ACM, 1978