From a concurrent λ-calculus to the π-calculus

This publication has 9 references indexed in Scilit:

• A calculus of mobile processes, I
  Published by Elsevier ,2004
• The mobility workbench — A tool for the π-Calculus
  Published by Springer Nature ,1994
• The Polyadic π-Calculus: a Tutorial
  Published by Springer Nature ,1993
• Plain CHOCS A second generation calculus for higher order processes
  Acta Informatica, 1993
• Functions as processes
  Mathematical Structures in Computer Science, 1992
• A semantics for ML concurrency primitives
  Published by Association for Computing Machinery (ACM) ,1992
• Barbed bisimulation
  Published by Springer Nature ,1992
• CML
  Published by Association for Computing Machinery (ACM) ,1991
• Facile: A symmetric integration of concurrent and functional programming
  International Journal of Parallel Programming, 1989