A Petri net semantics for π-calculus

This publication has 15 references indexed in Scilit:

• On representing CCS programs by finite petri nets
  Published by Springer Nature ,2005
• 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
• Concurrent Semantics for the π-calculus
  Electronic Notes in Theoretical Computer Science, 1995
• The chemical abstract machine
  Theoretical Computer Science, 1992
• Invariant semantics of nets with inhibitor arcs
  Published by Springer Nature ,1991
• CCS and petri nets
  Published by Springer Nature ,1990
• Causal trees
  Published by Springer Nature ,1989
• A distributed operational semantics for CCS based on condition/event systems
  Acta Informatica, 1988
• Petri net models for algebraic theories of concurrency
  Published by Springer Nature ,1987