[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Book announcement
This is forwarded from Steve Schneider ...
The following book was recently published:
--------------------------------------------------
Concurrent and Real-time Systems: the CSP approach
Steve Schneider, Royal Holloway, University of London
www.cs.rhbnc.ac.uk/books/concurrency
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
sematic model (timed failures) and finally presents the theory of timewise
refinement which links the two halves together.
xv + 510 pages.
Contents
--------
Preface
Part I: The language of CSP
Chapter 1 Sequential processes
Chapter 2 Concurrency
Chapter 3 Abstraction and control flow
Part II: Analyzing Processes
Chapter 4 Traces
Chapter 5 Specification and verification
Chapter 6 Stable failures
Chapter 7 Specification and verification
Chapter 8 Failures, divergences, and infinite traces
Part III: Introducing time
Chapter 9 The timed language
Chapter 10 Timed transition systems
Part IV: Timed analysis
Chapter 11 Semantics of Timed CSP
Chapter 12 Specification and verification
Chapter 13 Timewise refinement
Appendix A Event-based time
Appendix B Model-checking with FDR
Notation
Bibliography
Index
Index of Processes