Understanding Concurrent Systems

AvA.W. Roscoe

Häftad, Engelska, 2012

Del i serien Texts in Computer Science

556 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Fler format och utgåvor

Inbunden

556 kr

Skickas inom 10-15 vardagar

Beskrivning

CSP notation has been used extensively for teaching and applying concurrency theory, ever since the publication of the text Communicating Sequential Processes by C.A.R. A first point of reference for anyone wanting to use CSP or learn about its theory, the book also introduces other views of concurrency, using CSP to model and explain these.

Produktinformation

Utgivningsdatum:2012-12-03
Mått:155 x 235 x 31 mm
Vikt:808 g
Format:Häftad
Språk:Engelska
Serie:Texts in Computer Science
Antal sidor:530
Upplaga:2010
Förlag:Springer London Ltd
ISBN:9781447126003
Originaltitel:Theory and Practice of Concurrency

Utforska kategorier

Systemvetenskap och AI inom Data och IT

Recensioner i media

From the reviews: "This book is divided into four parts ... . Part I is designed for an audience of both undergraduate and graduate computer science students. ... Part II is designed for people who are familiar with Part I and have fairly theoretical interests. ... Part III is intended for people who ... want to be able to use them in a better way, or who are specifically interested in timed systems. Part IV is designed for people who already understand CSP." (Gunther Bauer, Zentralblatt MATH, Vol. 1211, 2011)

Innehållsförteckning

A Foundation Course in CSP.- Building a Simple Sequential Process.- Understanding CSP.- Parallel Operators.- CSP Case Studies.- Hiding and Renaming.- Beyond Traces.- Further Operators.- Using FDR.- Theory.- Operational Semantics.- Denotational Semantics and Behavioural Models.- Finite Observation Models.- Infinite-Behaviour Models.- The Algebra of CSP.- Using CSP in Practice.- Timed Systems 1: tock-CSP.- Timed Systems 2: Discrete Timed CSP.- More About FDR.- State Explosion and Parameterised Verification.- Exploring Concurrency.- Shared-Variable Programs.- Understanding Shared-Variable Concurrency.- Priority and Mobility.