A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components by Denis CaromelA Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components by Denis Caromel

A Theory of Distributed Objects: Asynchrony - Mobility - Groups - Components

byDenis Caromel, Ludovic HenrioPreface byLuca Cardelli

Paperback | October 13, 2010

Pricing and Purchase Info

$191.95

Earn 960 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

Offers an extensive review of concurrent languages and calculi, with comprehensive figures and summaries. Presents and analyses many implementation strategies that can readily be used by developers of distributed systems.
  Denis Caromel is full professor at University of Nice-Sophia Antipolis (UNSA). He is also member of the Institut Universitaire de France (IUF), a multi-disciplinary national academia that selects a few professors based on the excellence of their research records. His research interests include parallel, concurrent, and distributed o...
Loading
Title:A Theory of Distributed Objects: Asynchrony - Mobility - Groups - ComponentsFormat:PaperbackDimensions:352 pagesPublished:October 13, 2010Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3642058841

ISBN - 13:9783642058844

Look for similar items by category:

Reviews

Table of Contents

Part I - Review1) Analysis - 2) Formalisms and Distributed Calculi Part II - ASP Calculus3) An Imperative Sequential Calculus - 4) Asynchronous Sequential Processes - 5) A Few ExamplesPart III - Semantics and Properties6) Parallel Semantics - 7) Basic ASP Properties - 8) Confluence Property - 9) DeterminancyPart IV - A Few More Features10) More Confluent Features - 11) Non Confluent Features - 12) Migration - 13) Groups - 14) Components - 15) Channels and ReconfigurationsPart V - Implementation Strategies16) A Java API for ASP: ProActive - 17) Future Update - 18) Loosing Rendezvous - 19) Controlling Pipelining - 20) Garbage CollectionPart VI - Final Words21) ASP versus other Concurrent Calculi - 22) Conclusion AppendixA) Equivalence Modulo Future Updates - B) Confluence Proofs