Forum OpenACS Q&A: Re: Pi-Calculus for Workflow?

Posted by Andrew Piskorski on
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.)