248 Pages
by
CRC Press
248 Pages
by
CRC Press
Also available as eBook on:
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... Read more
PART I 1. System Executions 2. Semantics of Concurrent Protocols
PART II 1. On the Producer/Consumer Problem 2. Circular Buffers
PART III 1.Specification of Channels 2. A Sliding Window Protocol 3. Elements of Model Theory 4. Broadcasting and Causal Ordering 5. Uniform Deliveries
PART II 1. On the Producer/Consumer Problem 2. Circular Buffers
PART III 1.Specification of Channels 2. A Sliding Window Protocol 3. Elements of Model Theory 4. Broadcasting and Causal Ordering 5. Uniform Deliveries
Biography
Uri Abraham
