Three equivalent semantics for CCS

This publication has 38 references indexed in Scilit:

• Behavioural equivalence relations induced by programming logics
  Published by Springer Nature ,2006
• On representing CCS programs by finite petri nets
  Published by Springer Nature ,2005
• Distributed bisimulations
  Journal of the ACM, 1989
• Observing processes
  Published by Springer Nature ,1989
• Concurrency and atomicity
  Theoretical Computer Science, 1988
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• Partial ordering derivations for CCS
  Published by Springer Nature ,1985
• Event structure semantics for CCS and related languages
  Published by Springer Nature ,1982
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• Minimal and Optimal Computations of Recursive Programs
  Journal of the ACM, 1979