互動式馬爾可夫鏈——並發系統的設計、驗證與評價

互動式馬爾可夫鏈——並發系統的設計、驗證與評價

		數學機械化叢書 -9
		吳盡昭,王永祥,覃廣平 著
		科學出版社		2007年6月出版
		定價：28.00		語種：中文
		標準書號：978-7-03-018866-3		裝幀：精裝
		版本：第一版		開本：B5
		責任編輯：鄢德平,趙彥超		字數：134千字
		讀者對象：本科以上文化程度		頁數：109
		書類：理論專著/研究生教育		冊/包：9
		編輯部： 科學數理分社
		附註：

內容簡介

本書目錄

專家評論

讀者評論

我要留言

通過正交結合經典的進程代數和連續時間馬爾可夫鏈模型，互動式馬爾可夫鏈(IMC)提供了完美的可組合化的並發系統設計和分析框架。本書主要介紹了IMC的理論及其在並發系統層次化設計以及功能驗證與性能評價方面的套用，主要內容包括IMC上的分支時間等價和前序關係、IMC 的動作細化理論以及基於IMC的模型檢驗方法。
本書可以供研究生、教師和科研人員作為了解並發系統理論研究及與數學機械化基本思想與方法相結合的形式在設計與分析技術最新成果的參考書。