Pi-Calculus links
12th May 2003
Description URI
Milners speech of acceptance at Bolgna University http://www.cs.unibo.it/~gorrieri/icalp97/Lauree_milner.html
Lucian Wischik's paper on pi and web services http://www.wischik.com/lu/research/choreography.html
Howard Smith's (co-chair BPMI.org) page on pi. http://www.fairdene.com/picalculus/
Recent intro to pi http://heim.ifi.uio.no/~andersmo/seminar/foils2003vaar/introPiCalculus.pdf
Quite a lot of useful material here but for the really interested party http://www.ida.liu.se/labs/logpro/ulfni/conc/
A tutorial on pi for staff at Univ Malta http://www.cs.um.edu.mt/~amif1/Events/picourse/node3.html
Parrow's intro to pi http://www.cs.rpi.edu/courses/spring03/dci/picalculus.ps
A gentle introduction to pi from University of North Texas, Department of Computer Science http://students.csci.unt.edu/~tyagi/ppt/ AnInformalFirstStepinPiCalculus.ppt
Some interesting work on building a pi-based language, with all the syntactic sugar to enable software composition. Piccola is also references in one of the DAML-S papers as an interesting way to do composition. (see agents and web services in Harvested Technology). http://www.iam.unibe.ch/~scg/Archive/PhD/lumpe-phd.pdf
Another under grad intro - looks quite good and walks through the pi operators providing diagramatic formalism too. http://vvv.it.kth.se/edu/gru/Teori-f-dist-syst-D/Docs02/Slides/lecture-3-02-ccs-2.ppt
Interesting paper on async method invocation in Java based on pi-calculus http://www.cs.unh.edu/~charpov/FMPPTA/2002/FMPP_04.PDF
UML and statecharts and the pi-calculus http://www.disi.unige.it/person/ReggioG/UMLWORKSHOP/Girardet.pdf
look at the intro from Parrow http://lamp.epfl.ch/mobility/
for practical pi http://www.cl.cam.ac.uk/users/pes20/apppi.pdf
Imperial Colleage intro to pi-calculus http://www.iis.ee.ic.ac.uk/~frank/surp98/report/gdj1/pi-calculus.html
A lot of further pi-calculus links to explore http://homepages.cwi.nl/~arie/picalc.html
The pi-calculus for Web Services gcc2002.ict.ac.cn/reports/27B/5B5.ppt
XL: A Language for Web Services (See page 11) http://www-db.cs.wisc.edu/cidr/program/p8.pdf