Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science) - Image 1

£55.79

Wiley Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

Name: Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)
Brand: Wiley
Price: 55.79 GBP
Availability: InStock

Software Architecture

It has never been this cheap. We have no record of a lower price.

£56 today · cheaper than every other day in the last 3 months

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 36 days • 36 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 36 days • 1 price levels

Days at Price

Price Analysis

Most common price: £56 (36 days, 100.0%)

Price range: £56 - £56

Price levels: 1 different prices over 36 days

Description

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 analyzed 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. Accompanying website: http://www.cs.rhbnc.ac.uk/books/concurrency Containing the following: -Exercises and solutions -Instructors resources - Example CSP programs to run on FDR and ProBe -Links to useful sites 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.

Product Specifications

Brand: Wiley
Format: paperback
ASIN: 0471623733
Category: Books > Subjects > Computing & Internet > Programming > Software Design, Testing & Engineering > Software Architecture
Domain: Amazon UK
Release Date: 15 September 1999
Listed Since: 09 February 2007

Barcode

No barcode data available

Wiley Concurrent and Real-time Systems: The CSP Approach (Worldwide Series in Computer Science)

It has never been this cheap. We have no record of a lower price.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Understanding Concurrent Systems (Texts in Computer Science)

Theories of Programming: The Life and Works of Tony Hoare (ACM Collection II)

Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems (CRM Monograph Series)

Verification of Sequential and Concurrent Programs (Texts in Computer Science)

Temporal Verification of Reactive Systems: Safety

CONCUR '95 Concurrency Theory: 6th International Conference, Philadelphia, PA, USA, August 21 - 24, 1995. Proceedings: 962 (Lecture Notes in Computer Science, 962)

Concurrency Verification: Introduction to Compositional and Non-compositional Methods: 54 (Cambridge Tracts in Theoretical Computer Science, Series Number 54)

Communicating Sequential Processes. The First 25 Years: Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers

CONCUR '98 Concurrency Theory: 9th International Conference, Nice, France, September 8-11, 1998, Proceedings: 1466 (Lecture Notes in Computer Science, 1466)

Concurrency, Specification and Programming: Revised Selected Papers from the 29th International Workshop on Concurrency, Specification and Programming (CS&P'21), Berlin, Germany

Principles of Model Checking

Understanding Control Flow: Concurrent Programming Using μC++

Models for Concurrency (Algebra, Logic and Applications, Vol 11)

STACS 93: 10th Annual Symposium on Theoretical Aspects of Computer Science, Würzburg, Germany, February 25-27, 1993. Proceedings: 665 (Lecture Notes in Computer Science, 665)

Concurrency 88: International Conference on Concurrency Hamburg, FRG, October 18-19, 1988. Proceedings: 335 (Lecture Notes in Computer Science, 335)

Directed Algebraic Topology and Concurrency (Springerbriefs in Applied Sciences and Technology / Springer)

Principles of Cyber-Physical Systems

Introduction to Concurrency in Programming Languages (Chapman & Hall/CRC Computational Science)

An Introduction to Practical Formal Methods Using Temporal Logic

Process Algebra for Parallel and Distributed Processing: 2 (Chapman & Hall/CRC Computational Science)

Real-Time Systems: Scheduling, Analysis, and Verification

Formal Methods in Computer Science (Textbooks in Mathematics)

Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs

Real-Time Embedded Systems (Quantitative Software Engineering Series)