Replication in concurrent combinators

This publication has 10 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Combinatory representation of mobile processes
  Published by Association for Computing Machinery (ACM) ,1994
• Constraining interference in an object-based design method
  Published by Springer Nature ,1993
• On reduction-based process semantics
  Published by Springer Nature ,1993
• Functions as processes
  Mathematical Structures in Computer Science, 1992
• Barbed bisimulation
  Published by Springer Nature ,1992
• Interaction nets
  Published by Association for Computing Machinery (ACM) ,1990
• A calculus of higher order communicating systems
  Published by Association for Computing Machinery (ACM) ,1989
• Linear logic
  Theoretical Computer Science, 1987
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980