Partial ordering derivations for CCS

This publication has 11 references indexed in Scilit:

• A Theory of Communicating Sequential Processes
  Journal of the ACM, 1984
• Liveness properties as convergence in metric spaces
  Published by Association for Computing Machinery (ACM) ,1984
• Testing equivalences for processes
  Theoretical Computer Science, 1984
• The non-sequential behaviour of Petri nets
  Information and Control, 1983
• On the composition of processes
  Published by Association for Computing Machinery (ACM) ,1982
• Behaviours of concurrent systems
  Theoretical Computer Science, 1980
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• COSY ? a system specification language based on paths and processes
  Acta Informatica, 1979
• Time, clocks, and the ordering of events in a distributed system
  Communications of the ACM, 1978
• Concurrent Program Schemes and their Interpretations
  DAIMI Report Series, 1977