Models for Concurrency

Models for Concurrency
Автор
 
Год
 
Страниц
 
0
ISBN
 
905699199X
Издатель
 
Springer
Категория
 
Проектирование ПО
Искать в интернет библиотекахКупить

Содержание:

Общедоступная история астрономии в XIX столетии

Описание:

Concurrent systems are generally understood in terms of behavioral notions. Models for Concurrency analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents a comprehensive analysis of model theory applied to concurrent protocols, and seeks to provide a theory of concurrency that is both intuitively appealing and rigorously based on mathematical foundations. The book is divided into three main sections. The first introduces the required concepts from model theory, details the structures that are used to model concurrency, gives an in-depth description and explanation of the semantics of a simple language that allows concurrent execution of sequential programs, and deals with the question of resolving executions into higher-level and lower-level granularities. The second and third sections apply the theory developed to practical examples, and an exposition of the producer/consumer problem with details of two solutions is given....

Похожие книги

Coatings Technology Handbook, Third EditionCoatings Technology Handbook, Third Edition
Автор: Arthur A. Tracton
Год: 2005
The Art of StaircasesThe Art of Staircases
Автор: Pilar Chueca
Год: 2006
Propagators in Quantum ChemistryPropagators in Quantum Chemistry
Автор: Jan Linderberg, Yngve Öhrn
Год: 2004
Propagators in Quantum ChemistryPropagators in Quantum Chemistry
Автор: Jan Linderberg, Yngve Öhrn
Год: 2004
Alive in San FranciscoAlive in San Francisco
Автор: Alan Rosenberg
Год: 2009