Robin Milner

  • “Communicating and Mobile Systems: The pi-Calculus.” 1999, Cambridge University Press.
  • bigraphical reactive systems (see also BiGraph)
  • Bigraphs and mobile processes (revised). report 2004

Luca Cardelli (Pi calculus versus Petri nets: Let us eat “humble pie” rather than further inflate the “Pi hype”)

a node about Programming Language design, related; CSP

  • pi_calculus.txt
  • Last modified: 2007-09-12 09:05
  • by