Understanding Concurrent Systems

AvA.W. Roscoe

Inbunden, Engelska, 2010

Del i serien Texts in Computer Science

561 kr

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

Fler format och utgåvor

Häftad

561 kr

Beskrivning

Since the introduction of Hoares' Communicating Sequential Processes notation, powerful new tools have transformed CSP into a practical way of describing industrial-sized problems. This book presents the fundamental knowledge of CSP concepts readers require to take advantage of those tools. This text benefits from the author's ten years of teaching experience to guide the reader through an introductory course on the theory and practice of concurrency. The book is divided into three parts; the first begins with an introductory course into the theories behind computer concurrency. The second part summarises the main ideas and results featuring chapters on advanced specification techniques, buffer tolerance, induction and data independence. The final part focuses on practice, containing chapters on the bully algorithms and deadlock. Bridging the gap between theory and practice, this logical and practical guide provides readers with in-depth examples explained, and shown in practice.

Produktinformation

Utgivningsdatum:2010-10-25
Mått:155 x 235 x 36 mm
Vikt:948 g
Format:Inbunden
Språk:Engelska
Serie:Texts in Computer Science
Antal sidor:530
Förlag:Springer London Ltd
ISBN:9781848822573
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.