Calculi for interaction

This publication has 16 references indexed in Scilit:

• An object calculus for asynchronous communication
  Published by Springer Nature ,2006
• On reduction-based process semantics
  Theoretical Computer Science, 1995
• Fibrational control structures
  Published by Springer Nature ,1995
• A Name-free Account of Action Calculi
  Electronic Notes in Theoretical Computer Science, 1995
• The chemical abstract machine
  Theoretical Computer Science, 1992
• The gamma model and its discipline of programming
  Science of Computer Programming, 1990
• Petri nets are monoids
  Information and Computation, 1990
• Interaction nets
  Published by Association for Computing Machinery (ACM) ,1990
• Explicit substitutions
  Published by Association for Computing Machinery (ACM) ,1990
• Communicating sequential processes
  Communications of the ACM, 1978