Trace, failure and testing equivalences for communicating processes

This publication has 12 references indexed in Scilit:

• On the relationship of CCS and CSP
  Published by Springer Nature ,2006
• Linear and branching structures in the semantics and logics of reactive systems
  Published by Springer Nature ,2005
• Semantics of communicating processes
  Information and Control, 1984
• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• 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
• Communicating sequential processes
  Communications of the ACM, 1978
• Power domains
  Journal of Computer and System Sciences, 1978
• Formal verification of parallel programs
  Communications of the ACM, 1976
• Guarded commands, nondeterminacy and formal derivation of programs
  Communications of the ACM, 1975