A Theory of Distributed Objects

A Theory of Distributed Objects
Author :
Publisher : Springer Science & Business Media
Total Pages : 390
Release :
ISBN-10 : 3540208666
ISBN-13 : 9783540208662
Rating : 4/5 (662 Downloads)

Book Synopsis A Theory of Distributed Objects by : Denis Caromel

Download or read book A Theory of Distributed Objects written by Denis Caromel and published by Springer Science & Business Media. This book was released on 2005-04-13 with total page 390 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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


A Theory of Distributed Objects Related Books

A Theory of Distributed Objects
Language: en
Pages: 390
Authors: Denis Caromel
Categories: Computers
Type: BOOK - Published: 2005-04-13 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Distributed and communicating objects are becoming ubiquitous. In global, Grid and Peer-to-Peer computing environments, extensive use is made of objects interac
Distributed Objects
Language: en
Pages: 232
Authors: Liana Chua
Categories: Art
Type: BOOK - Published: 2013-03-01 - Publisher: Berghahn Books

DOWNLOAD EBOOK

One of the most influential anthropological works of the last two decades, Alfred Gell’s Art and Agency is a provocative and ambitious work that both challeng
On Learning
Language: en
Pages: 318
Authors: David Scott
Categories: Education
Type: BOOK - Published: 2021-05-20 - Publisher: UCL Press

DOWNLOAD EBOOK

This is a philosophical work that develops a general theory of ontological objects and object-relations. It does this by examining concepts as acquired disposit
Theoretical Aspects of Object-oriented Programming
Language: en
Pages: 568
Authors: Carl A. Gunter
Categories: Computers
Type: BOOK - Published: 1994 - Publisher: MIT Press

DOWNLOAD EBOOK

Although the theory of object-oriented programming languages is far from complete, this book brings together the most important contributions to its development
Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Language: en
Pages: 661
Authors: Tiziana Margaria
Categories: Computers
Type: BOOK - Published: 2014-09-26 - Publisher: Springer

DOWNLOAD EBOOK

The two-volume set LNCS 8802 and LNCS 8803 constitutes the refereed proceedings of the 6th International Symposium on Leveraging Applications of Formal Methods,