 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 
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
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
7/17/2001; 12:11:39 AM (reads: 1001, responses: 0)
|
|
|
|
|
|