Lambda the Ultimate

inactiveTopic The pi-calculus: a Theory of Mobile Processes
started 7/14/2001; 8:10:22 AM - last post 7/17/2001; 12:11:39 AM

Ehud Lamm - The pi-calculus: a Theory of Mobile Processes blueArrow
7/14/2001; 8:10:22 AM (reads: 1781, responses: 2)

The pi-calculus: a Theory of Mobile Processes

Mobile systems, whose components communicate and change their structure, now pervade the informational world and the wider world of which it is a part. The science of mobile systems is as yet immature, however. This book presents the pi-calculus, a theory of mobile systems. The pi-calculus provides a conceptual framework for understanding mobility, and mathematical tools for expressing systems and reasoning about their behaviours.

Posted to Misc-Books by Ehud Lamm on 7/14/01; 8:10:40 AM

Chris Rathman - Re: The pi-calculus: a Theory of Mobile Processes blueArrow
7/16/2001; 5:17:32 PM (reads: 979, responses: 0)

I've been meaning to have a look-see at the Pict language when I get a chance. The language is a research implementation using the Pi-calculus in order to determine if it is feasible to make an efficient implementation.

Of course, that seems to be the knock on the Pi-Calculus - it is not particular an efficient means. Haven't seen whether Pict was successful, but from what I gather it is no longer an active project.

Ehud Lamm - Re: The pi-calculus: a Theory of Mobile Processes blueArrow
7/17/2001; 12:11:39 AM (reads: 1001, responses: 0)

Some Pict and Pi-Calculus papers.