Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components (2005)

A detailed presentation of a calculus for distributed objects interacting using asynchronous method calls with generalized futures. The authors provide generic results on expressiveness and determinism. They also offer an extensive review of concurrent languages and calculi, with comprehensive figures and summaries. And they analyze many implementation strategies that can readily be used by developers of distributed systems.