User loginNavigation |
Orc, a simple and expressive process calculusOrc 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. By MarkM at 2006-11-02 20:21 | LtU Forum | previous forum topic | next forum topic | other blogs | 10541 reads
|
Browse archives
Active forum topics |
Recent comments
17 weeks 11 hours ago
17 weeks 11 hours ago
17 weeks 11 hours ago
23 weeks 21 hours ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 11 weeks ago
1 year 33 weeks ago
1 year 37 weeks ago
1 year 39 weeks ago