Concurrent and Real-time Systems: The CSP Approach / Edition 1

Concurrent and Real-time Systems: The CSP Approach / Edition 1

by Steve Schneider, S. A. Schneider
     
 

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

See more details below

Overview

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

Read More

Product Details

ISBN-13:
9780471623731
Publisher:
Wiley
Publication date:
11/30/1999
Series:
Worldwide Series in Computer Science Series
Pages:
526
Product dimensions:
1.05(w) x 9.25(h) x 7.50(d)

Table of Contents

THE LANGUAGE OF CSP.

Sequential Processes.

Concurrency.

Abstraction and Control Flow.

ANALYSING PROCESSES.

Traces.

Specification and Verification with Traces.

Stable Failures.

Specification and Verification with Failures.

Failures, Divergences, and Infinite Traces.

INTRODUCING TIME.

The Timed Language.

Timed Transition Systems.

TIMED ANALYSIS.

Semantics of Timed CSP.

Timed Specification and Verification.

Timewise Refinement.

Appendices.

References.

Notation.

Indexes.

Customer Reviews

Average Review:

Write a Review

and post it to your social network

     

Most Helpful Customer Reviews

See all customer reviews >