Locality and true-concurrency in calculi for mobile processes

This publication has 14 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Observing distribution in processes
  Published by Springer Nature ,1993
• The Polyadic π-Calculus: a Tutorial
  Published by Springer Nature ,1993
• An efficiency preorder for processes
  Acta Informatica, 1992
• Functions as processes
  Mathematical Structures in Computer Science, 1992
• CCS, locations and asynchronous transition systems
  Published by Springer Nature ,1992
• The limit of split n -bisimulations for CCS agents
  Published by Springer Nature ,1991
• Observing localities
  Lecture Notes in Computer Science, 1991
• Causal trees
  Published by Springer Nature ,1989
• Petri net models for algebraic theories of concurrency
  Published by Springer Nature ,1987