Concurrent and Real-time Systems - The CSP Approach (Paperback)

The CSP approach has been widely used in the specification, analysis and verification of concurrent and real-time systems, and for understanding the particular issues that can arise when concurrency is present. It provides a language which enables specifications and designs to be clearly expressed and understood, together with a supporting theory which allows them to be analysed and shown to be correct. This book supports advanced level courses on concurrency covering timed and untimed CSP. The first half introduces the language of CSP, the primary semantic models (traces, failures, divergences and infinite traces), and their use in the modelling, analysis and verification of concurrent systems. The second half of the book introduces time into the language, brings in the timed semantic model (timed failures) and finally presents the theory of timewise refinement which links the two halves together. Author’s Website containing:

• Exercises and solutions
• Instructor’s resources
• Example CSP programs to run on FDR and ProBe
• Links to useful sites

General

Imprint:	John Wiley & Sons
Country of origin:	United States
Release date:	September 1999
First published:	November 1999
Authors:	S. Schneider
Dimensions:	234 x 190 x 27mm (L x W x T)
Format:	Paperback
Pages:	526
ISBN-13:	978-0-471-62373-1
Categories:	Books > Computing & IT > General theory of computing > General Books > Computing & IT > Computer programming > General Books > Computing & IT > Applications of computing > General
LSN:	0-471-62373-3
Barcode:	9780471623731

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!