|
|
libcats.org
Главная →
Theory of Distributed Objects: A Practical Framework for Reasoning about Asynchronous Communications, Determinism, Mobility, and ComponentsTheory of Distributed Objects: A Practical Framework for Reasoning about Asynchronous Communications, Determinism, Mobility, and ComponentsDenis Caromel, Ludovic Henrio, Luca CardelliDistributed 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
Популярные книги за неделю:
Проектирование и строительство. Дом, квартира, садАвтор: Петер Нойферт, Автор: Людвиг Нефф
Размер книги: 20.83 Mb
Система упражнений по развитию способностей человека (Практическое пособие)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 818 Kb
Сотворение мира (3-х томник)Автор: Петров Аркадий НаумовичКатегория: Путь к себе
Размер книги: 817 Kb
Радиолюбительские схемы на ИС типа 555Автор: Трейстер Р.Категория: Электротехника и связь
Размер книги: 13.64 Mb
Только что пользователи скачали эти книги:
Карбюраторы зарубежных автомобилей. Устройство, регулировка, ремонт. (Vergaser testen und einstellen) . Справочное пособиеАвтор: Казедорф Юрген, Автор: Перевод с немецкого: В.И.Лапшин, Автор: Р.А.Фиш. Научный редактор канд. техн. наук А.С.Тюфяков.Категория: транспорт
Размер книги: 3.26 Mb
Adaptive Agents and Multi-Agent Systems.. Adaptation and Multi-Agent LearningАвтор: Eduardo Alonso, Автор: Daniel Kudenko, Автор: Dimitar KazakovКатегория: CsLn_
Размер книги: 4.42 Mb
Мысли об иконе. БЛАГОВЕЩЕНИЕ ПРЕСВЯТОЙ БОГОРОДИЦЫАвтор: Круг Георгий ИвановичКатегория: Религия
Размер книги: 6 Kb
Time for Verification: Essays in Memory of Amir Pnueli (Lecture Notes in Computer Science Theoretical Computer Science and General Issues)Автор: Zohar Manna, Автор: Doron A. PeledКатегория: Компьютеры
Размер книги: 3.93 Mb
|
|
|