1 option
Concurrent and real-time systems : the CSP approach / Steve Schneider.
LIBRA QA76.58 .S346 2000
Available from offsite location
- Format:
- Book
- Author/Creator:
- Schneider, Steve.
- Series:
- Worldwide series in computer science
- Language:
- English
- Subjects (All):
- Parallel processing (Electronic computers).
- Real-time data processing.
- Physical Description:
- xv, 510 pages : illustrations ; 24 cm.
- Place of Publication:
- Chichester, England ; New York : John Wiley, [2000]
- Summary:
- Partial Contents: Part I: The Language of CSP; Sequential Processes; Concurrency; Abstraction and Control Flow; Part II: Analyzing Processes; Traces; Specification and Verification with Traces; Stable Failures; Specification and Verification with Failures; Failures, Divergences, and Infinite Traces; Part III: Introducing Time; The Timed Language; Timed transition systems; Part IV: Timed Analysis; Semantics of Timed CSP; Timed Specification and Verification; Timewise Refinement; Appendix A: Event-based Time; A.1 Standard CSP and $tock$; A.2 Translating from Timed CSP; A.3 Notes; Appendix B: Model-checking with FDR; B.1 Interacting with FDR; B.2 How FDR Checks Refinement; B.3 Machine readable CSP; Index of Processes.
- Notes:
- Includes bibliographical references (pages 485-492) and indexes.
- ISBN:
- 0471623733
- OCLC:
- 41960972
The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.