Forum OpenACS Q&A: Re: Pi-Calculus for Workflow?
26: Re: Pi-Calculus for Workflow? (response to 22)
Posted by Andrew Piskorski on 07/28/06 11:32 AM
Hm, I was recently reading about object-capability systems and the like (e.g., Shapiro's Coyotos, Miller's E), and learned of the existence of the "Join Calculus". It is, reportedly, provably equivalent to the Pi Calculus, but perhaps (reputedly?) better for actual implementations, particularly those involving distributed processing (a la Erlang). (I don't actually understand it, though.)