進程代數——對稱與動作細化

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

內容簡介

本書目錄

專家評論

讀者評論

我要留言

並發系統常常在結構上展示出對稱性，這種對稱結構一般來說具有相同或相近的性質。本書討論了並發系統的進程代數語言及其事件結構模型中的對稱性、對稱約簡、對稱約簡對動作細化的影響以及基於束動作變遷的偏序約簡與套用，力圖在結構層次上建立對建模語言和模型進行約簡及細化的基本理論和方法，為高效機械化設計和分析並發系統服務。
本書可以供高年級大學生、研究生、教師和科研人員作為了解數學機械化基本思想與方法在形式化並發系統設計與分析中套用的參考書。

進程代數——對稱與動作細化

相關詞條

熱門詞條