Lambda the Ultimate

Orc is a language in the process calculi tradition that I really like. It's combination of simplicity and expressiveness is amazing. Unlike some other process calculi, Orc does not make unreasonable assumptions (like mobility) about what properties are implementable in a distributed system. Orc's semantics are compatible with transparent distribution, distributed object-capability security, and distributed garbage collection. Here's a draft implementation of Orc in E providing approximately these three properties, with the caveats that E currently does not collect distributed cyclic garbage, and E's distributed failure semantics are wrong for Orc.

It would be good to see some embeddings of Orc into other distributed languages, and to compare these.