Models for Concurrency

ISBN-13: 9789056991999 / Angielski / Twarda / 1999 / 248 str.

Uri Abraham; Abraham Abraham

Opis

Concurrent systems are generally understood in terms of behavioural notions. This text analyzes the subject in terms of events and their temporal relationship rather than on global states. It presents an analysis of model theory applied to concurrent protocols and provides an intuitive theory of concurrency based on mathematical foundations.

Spis treści

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

O autorze

Uri Abraham