Distributed conflicts in communicating systems

This publication has 22 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• On the implementation of concurrent calculi in net calculi: two case studies
  Theoretical Computer Science, 1995
• Programming by multiset transformation
  Communications of the ACM, 1993
• Structured operational semantics and bisimulation as a congruence
  Information and Computation, 1992
• The chemical abstract machine
  Theoretical Computer Science, 1992
• Nets, Terms and Formulas
  Published by Cambridge University Press (CUP) ,1991
• A partial ordering semantics for CCS
  Theoretical Computer Science, 1990
• A distributed operational semantics for CCS based on condition/event systems
  Acta Informatica, 1988
• Petri nets, event structures and domains, part I
  Theoretical Computer Science, 1981
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980