A tile-based coordination view of asynchronous π-calculus

This publication has 18 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• A 2-categorical presentation of term graph rewriting
  Published by Springer Nature ,1997
• Coordination Programming: Mechanisms, Models and Semantics
  Published by World Scientific Pub Co Pte Ltd ,1996
• On bisimulations for the asynchronous π-calculus
  Published by Springer Nature ,1996
• Tiles, Rewriting Rules and CCS
  Electronic Notes in Theoretical Computer Science, 1996
• EQUATIONAL TERM GRAPH REWRITING
  Fundamenta Informaticae, 1996
• Conditional rewriting logic as a unified model of concurrency
  Theoretical Computer Science, 1992
• Coordination languages and their significance
  Communications of the ACM, 1992
• Review of the elements of 2-categories
  Published by Springer Nature ,1974
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
  Proceedings of the National Academy of Sciences, 1963