[e-lang] [Fwd: [TYPES] Book Announcement: A Theory of Distributed Objects]

[David Hopwood]

I haven't read this, but judging by the sample chapter at
<http://www-sop.inria.fr/oasis/caromel/TDO/ASP-DistributedCalculi.pdf>
it looks interesting. E even gets a (brief) mention as an example of
an actor language.

-------- Original Message --------
Subject: [TYPES] Book Announcement: A Theory of Distributed Objetcs
Date: Wed, 29 Jun 2005 16:49:45 +0200
From: Gerstner, Ralf, Springer DE <Ralf.Gerstner at springer-sbm.com>
To: <types at cis.upenn.edu>

[The Types Forum, http://lists.seas.upenn.edu/mailman/listinfo/types-list]

Caromel, Denis & Henrio, Ludovic
A Theory of Distributed Objects - Asynchrony 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

-- 
David Hopwood <david.nospam.hopwood at blueyonder.co.uk>