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.)
