Fwd: The latest in pi-calculus?

One of our guys found this paper on pi. Looks like a good example. Any 
comments?

Begin forwarded message:

> From: Burt Homan <burt@enigmatec.net>
> Date: 28 April 2004 15:00:22 BST
> To: Gary Brown <gary@enigmatec.net>
> Cc: steve@enigmatec.net
> Subject: The latest in pi-calculus?
>
> http://citeseer.ist.psu.edu/padget98picalculus.html
>
> -- 
> Jon "Burt" Homan <burt@enigmatec.net>
> Senior Software Engineer, Enigmatec Corporation
> t: +44 (0)20 73978204

Received on Wednesday, 28 April 2004 10:42:59 UTC