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

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

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

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

a node about Programming Language design, related; CSP