Causality for mobile processes

This publication has 15 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Concurrent Semantics for the π-calculus
  Electronic Notes in Theoretical Computer Science, 1995
• Observing localities
  Theoretical Computer Science, 1993
• Modal logics for mobile processes
  Published by Springer Nature ,1991
• A partial ordering semantics for CCS
  Theoretical Computer Science, 1990
• An operational semantics for occam
  International Journal of Parallel Programming, 1989
• Causal trees
  Published by Springer Nature ,1989
• Petri nets, algebras, morphisms, and compositionality
  Information and Computation, 1987
• Modeling concurrency with partial orders
  International Journal of Parallel Programming, 1986
• Partial ordering derivations for CCS
  Published by Springer Nature ,1985