An algebraic view of interleaving and distributed operational semantics for CCS

This publication has 14 references indexed in Scilit:

• A2CCS: A simple extension of CCS for handling atomic actions
  Published by Springer Nature ,2005
• Axiomatizing net computations and processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• On the consistency of 'truly concurrent' operational and denotational semantics
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• Petri nets are monoids: a new algebraic foundation for net theory
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2003
• A distributed operational semantics for CCS based on condition/event systems
  Acta Informatica, 1988
• Concurrent histories: A basis for observing distributed systems
  Journal of Computer and System Sciences, 1987
• Petri nets, algebras, morphisms, and compositionality
  Information and Computation, 1987
• Operational Petri net semantics for CCSP
  Published by Springer Nature ,1987
• Petri Nets
  Published by Springer Nature ,1985
• Partial ordering derivations for CCS
  Published by Springer Nature ,1985