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

http://tmitwww.tm.tue.nl/staff/wvdaalst/pi-hype.pdf (Pi calculus versus Petri nets: Let us eat “humble pie” rather than further inflate the “Pi hype”)

http://nick.dcs.qmul.ac.uk/SEL-HPC/Articles/GeneratedHtml/functional.parconcur.html

a node about Programming Language design, related; CSP