Retracing some paths in process algebra

This publication has 29 references indexed in Scilit:

• Synchronisation trees
  Published by Springer Nature ,2006
• Traced monoidal categories
  Mathematical Proceedings of the Cambridge Philosophical Society, 1996
• A model for mobile point-to-point data-flow networks without channel sharing
  Published by Springer Nature ,1996
• Preface
  Theoretical Computer Science, 1995
• Proofs as processes
  Theoretical Computer Science, 1994
• Games and full completeness for multiplicative linear logic
  The Journal of Symbolic Logic, 1994
• A logical view of composition
  Theoretical Computer Science, 1993
• Functions as processes
  Mathematical Structures in Computer Science, 1992
• The Pattern-of-Calls Expansion Is the Canonical Fixpoint for Recursive Definitions
  Journal of the ACM, 1982
• Coherence for compact closed categories
  Journal of Pure and Applied Algebra, 1980