Orc, a simple and expressive process calculus

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.

Comment viewing options

Select your preferred way to display the comments and click "Save settings" to activate your changes.

How about becoming a

How about becoming a contributing editor?

What would it involve?

If you want to continue the conversation privately, email erights -at- gmail.com. Thanks.