Uri Abraham

Models for Concurrency (eBook, ePUB)

• Format: ePub

Produktbeschreibung

Models for Concurrency 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.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis eBooks
• Seitenzahl: 248
• Erscheinungstermin: 26. August 2020
• Englisch
• ISBN-13: 9781000159561
• Artikelnr.: 59870342

Autorenporträt

Uri Abraham

Inhaltsangabe

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