Action calculi, or syntactic action structures

This publication has 7 references indexed in Scilit:

• An object calculus for asynchronous communication
  Published by Springer Nature ,2006
• A calculus of mobile processes, I
  Published by Elsevier ,2004
• Functions as processes
  Mathematical Structures in Computer Science, 1992
• 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
• Communicating sequential processes
  Communications of the ACM, 1978