User Tools

Site Tools


pi_calculus

π-calculus

notes

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

programming

simulators

a node about Programming Language design, related; CSP

pi_calculus.txt · Last modified: 2007/09/12 09:05 by 192.168.1.50