===== π-calculus =====

Calculi for [[Mobile Processes]]  \ \  http://www.cs.auc.dk/mobility/

==== notes ====

[[Robin Milner]]
  * tutorial > http://citeseer.ist.psu.edu/19489.html
  * "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://www.luca.demon.co.uk/
  * extending into the biological w/ Biographs (application of ambients to biological systems)


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 ====

  * the actute language > http://www.cl.cam.ac.uk/users/pes20/acute/index.html
  * pilib > http://lampwww.epfl.ch/~cremet/publications/pilib.pdf

==== simulators ====
  * The Stochastic Pi Machine (SPiM) > https://research.microsoft.com/~aphillip/spim/

a node about [[Programming Language]] design, related; [[CSP]]