Understanding Concurrent Systems
Author:   A.W. Roscoe
Publisher:   Springer London Ltd
Edition:   2010 ed.
ISBN:  

9781447126003


Pages:   530
Publication Date:   03 December 2012
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $145.17 Quantity:  
Add to Cart

Share |

Understanding Concurrent Systems


Add your own review!

Overview

Full Product Details

Author:   A.W. Roscoe
Publisher:   Springer London Ltd
Imprint:   Springer London Ltd
Edition:   2010 ed.
Dimensions:   Width: 15.50cm , Height: 2.80cm , Length: 23.50cm
Weight:   0.831kg
ISBN:  

9781447126003


ISBN 10:   1447126009
Pages:   530
Publication Date:   03 December 2012
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

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.

Reviews

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)


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)


Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
 Shopping cart
Mailing List

 

Sign up now