From: James Rogers (jamesr@best.com)
Date: Fri Nov 28 2003 - 03:56:59 MST
On 11/27/03 12:16 AM, "Tony Garnock-Jones" <tonyg@kcbbs.gen.nz> wrote:
>
> Are you familiar with the Pi Calculus of Milner, Parrow and Walker?
> (http://citeseer.nj.nec.com/milner89calculus.html)
>
> It is a concurrent calculus with the lambda calculus as one of its closest
> non-concurrent analogues, and it can readily be extended into a full
> programming language (as lambda can be extended into Scheme, ML etc).
+1, relevant. No time to comment though.
-James Rogers
jamesr@best.com
This archive was generated by hypermail 2.1.5 : Wed Jul 17 2013 - 04:00:43 MDT