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