From: rmeenaks@...
Date: 2006-07-21T02:55:10+09:00
Subject: Re: Beyond threads? Better concurrency methods?


M. Edward (Ed) Borasky wrote:
> Anyhow, CSP is "old hat" -- this year's "silver bullet" is the
> PI-Calculus, a close relative of Hoare's CSP and a direct descendant of
> Milner's CCS. I like the PI-Calculus just as much as I liked CSP, Occam,
> Concurrent Pascal, CCS, Linda/Rinda and all the other theoretical
> computer science approaches. In my own field, performance engineering, I
> like the CCS derivative, Jane Hillston's PEPA. But what are the guys
> with the big bags of nickels buying?


You should take a look at Occam-PI
(http://www.cs.kent.ac.uk/projects/ofa/kroc/) which is a marriage of
PI-Calculus and OCCAM...


Ram