Reversible Communicating Systems

This publication has 12 references indexed in Scilit:

• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
  Information Processing Letters, 2001
• A fully abstract semantics for causality in the $\pi$ -calculus
  Acta Informatica, 1998
• OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES
  International Journal of Foundations of Computer Science, 1995
• Causality for mobile processes
  Published by Springer Nature ,1995
• Process algebra with backtracking
  Published by Springer Nature ,1994
• Observing localities
  Lecture Notes in Computer Science, 1991
• A partial ordering semantics for CCS
  Theoretical Computer Science, 1990
• Permutation of transitions: An event structure semantics for CCS and SCCS
  Published by Springer Nature ,1989
• Event structure semantics for CCS and related languages
  Published by Springer Nature ,1982
• Minimal and Optimal Computations of Recursive Programs
  Journal of the ACM, 1979