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 |