Concurrent and Real-time Systems the CSP Approach
暫譯: 並發與即時系統:CSP 方法

Steve Schneider

  • 出版商: Wiley
  • 出版日期: 1999-11-15
  • 售價: $1,300
  • 貴賓價: 9.8$1,274
  • 語言: 英文
  • 頁數: 526
  • 裝訂: Paperback
  • ISBN: 0471623733
  • ISBN-13: 9780471623731
  • 已絕版

買這商品的人也買了...

相關主題

商品描述

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. Authors Website containing:
  • Exercises and solutions
  • Instructors resources
  • Example CSP programs to run on FDR and ProBe
  • Links to useful sites

商品描述(中文翻譯)

CSP 方法已廣泛應用於並發和即時系統的規範、分析和驗證,以及理解在存在並發時可能出現的特定問題。它提供了一種語言,使規範和設計能夠清晰地表達和理解,並且有一套支持理論,允許對其進行分析並證明其正確性。本書支持高級課程,涵蓋有時間和無時間的 CSP。前半部分介紹了 CSP 語言、主要的語義模型(追蹤、失敗、發散和無限追蹤)及其在並發系統建模、分析和驗證中的應用。後半部分則將時間引入語言,介紹了有時間的語義模型(有時間的失敗),並最終呈現了時間精煉理論,將兩部分連結起來。作者網站包含:
- 練習題和解答
- 教師資源
- 可在 FDR 和 ProBe 上運行的示例 CSP 程式
- 有用網站的連結

最後瀏覽商品 (1)