Semantics of Probabilistic Processes: An Operational Approach
暫譯: 機率過程的語義:一種操作性方法
Yuxin Deng
- 出版商: Springer
- 出版日期: 2015-03-09
- 售價: $2,150
- 貴賓價: 9.5 折 $2,043
- 語言: 英文
- 頁數: 249
- 裝訂: Hardcover
- ISBN: 3662451972
- ISBN-13: 9783662451977
海外代購書籍(需單獨結帳)
相關主題
商品描述
This book discusses the semantic foundations of concurrent systems with nondeterministic and probabilistic behaviour. Particular attention is given to clarifying the relationship between testing and simulation semantics and characterising bisimulations from metric, logical, and algorithmic perspectives. Besides presenting recent research outcomes in probabilistic concurrency theory, the book exemplifies the use of many mathematical techniques to solve problems in computer science, which is intended to be accessible to postgraduate students in Computer Science and Mathematics. It can also be used by researchers and practitioners either for advanced study or for technical reference.
商品描述(中文翻譯)
本書探討具有非決定性和概率行為的並發系統的語義基礎。特別關注於澄清測試與模擬語義之間的關係,以及從度量、邏輯和算法的角度對雙模擬進行特徵描述。除了展示在概率並發理論中的最新研究成果外,本書還舉例說明了許多數學技術在解決計算機科學問題中的應用,旨在讓計算機科學和數學的研究生能夠理解。它也可以供研究人員和實務工作者用於進階學習或技術參考。