Models for Concurrency (inbunden)
Format
Inbunden (Hardback)
Språk
Engelska
Antal sidor
248
Utgivningsdatum
1999-05-01
Förlag
Taylor & Francis Ltd
Illustrationer
illustrations
Dimensioner
240 x 157 x 19 mm
Vikt
531 g
Antal komponenter
1
ISSN
1041-5394
ISBN
9789056991999
Models for Concurrency (inbunden)

Models for Concurrency

Inbunden Engelska, 1999-05-01
1159
Skickas inom 10-15 vardagar.
Gratis frakt inom Sverige över 159 kr för privatpersoner.
Finns även som
Visa alla 2 format & utgåvor
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. The author also deals with message passing, as opposed to shared memory.
Visa hela texten

Passar bra ihop

  1. Models for Concurrency
  2. +
  3. Foundations of Module and Ring Theory

De som köpt den här boken har ofta också köpt Foundations of Module and Ring Theory av Robert Wisbauer (inbunden).

Köp båda 2 för 6678 kr

Kundrecensioner

Har du läst boken? Sätt ditt betyg »

Innehållsförteckning

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