Show pageOld revisionsBacklinksBack to top You've loaded an old revision of the document! If you save it, you will create a new version with this data. Media Files ===== ¹-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 a node about [[Programming Language]] design, related; [[CSP]] Please fill all the letters into the box to prove you're human. Please keep this field empty: SavePreviewCancel Edit summary Note: By editing this page you agree to license your content under the following license: CC Attribution-Share Alike 4.0 International pi_calculus.1181810739.txt.gz Last modified: 2007-09-12 09:05(external edit)