[TYPES] Book Announcement: A Theory of Distributed Objetcs

[Gerstner, Ralf, Springer DE]

Caromel, Denis & Henrio, Ludovic
A Theory of Distributed Objects - Asynchronity Mobility Groups
Components 
Springer-Verlag, Heidelberg, 2005
ISBN: 3-540-20866-6


Distributed and communicating objects are becoming ubiquitous. In
global, Grid and 
Peer-to-Peer computing environments, extensive use is made of objects
interacting 
through method calls. So far, no general formalism has been proposed for
the 
foundation of such systems.

Caromel and Henrio are the first to define a calculus for distributed
objects 
interacting using asynchronous method calls with generalized futures,
i.e., 
wait-by-necessity -- a must in large-scale systems, providing both high
structuring 
and low coupling, and thus scalability. The authors provide very generic
results on 
expressiveness and determinism, and the potential of their approach is
further 
demonstrated by its capacity to cope with advanced issues such as
mobility, groups, 
and components.

Researchers and graduate students will find here an extensive review of
concurrent 
languages and calculi, with comprehensive figures and summaries. 

Developers of distributed systems can adopt the many implementation
strategies that 
are presented and analyzed in detail.

Preface by Luca Cardelli


Keywords: Actors, Pi-Calculus, Sigma-Calculus, Asynchronous Method
Calls, 
Asynchronous Sequential Processes (ASP), Distributed Calculi,
Distributed Objects,
Grid Computing, P2P Computing
 

Read more detailed information 
(including table of contents and sample chapter): 
www.springeronline.com/3-540-20866-6

Author'S book page with additional material:
www.inria.fr/oasis/caromel/TDO


ORDER INFORMATION:
Springer:  
www.springeronline.com
Amazon:
www.amazon.com

---
Ralf Gerstner
Springer
Senior Editor | Computer Science Editorial