Lambda the Ultimate

inactiveTopic Calculi for Mobile Processes
started 1/17/2002; 12:42:28 PM - last post 1/17/2002; 2:02:19 PM
Ehud Lamm - Calculi for Mobile Processes  blueArrow
1/17/2002; 12:42:28 PM (reads: 1735, responses: 1)
Calculi for Mobile Processes
A rich list of links related to the Pi-calculus and friends.

I am still trying to decide on the best intro, but you should definitely check A Calculus for Mobile Processes by Robin Milner, Joachim Parrow, and David Walker.

Pierce's Programming in the Pi-Calculus is about the PICT programming language, and talks about language design.

The Models for Mobility List (Moca) is a fairly new mailing list (about a year old) dedicated to (you guessed it) models for mobility.

Posted to theory by Ehud Lamm on 1/17/02; 12:47:52 PM

Bryn Keller - Re: Calculi for Mobile Processes  blueArrow
1/17/2002; 2:02:19 PM (reads: 772, responses: 0)
Also try here for a working (though I couldn't compile it on NT) system based on a merger of Ocaml and the Join Calculus.