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.
Denis Caromel
Actors, Pi-Calculus, Sigma-Calculus Asynchronous Method Calls Asynchronous Sequential Processes (ASP) Distributed Calculi Distributed Objects Grid Computing Java P2P Computing Scala calculus distributed systems