進(jìn)程代數(shù)：對稱與動作細(xì)化

定　價：￥25.00

作　者：	王永祥、吳盡昭、蔣建民
出版社：	科學(xué)出版社
叢編項：	數(shù)學(xué)機械化叢書；10
標(biāo)　簽：	方法

購買這本書可以去

ISBN：	9787030188656	出版時間：	2007-06-01	包裝：	平裝
開本：	0開	頁數(shù)：	88	字?jǐn)?shù)：

內(nèi)容簡介

　　并發(fā)系統(tǒng)常常在結(jié)構(gòu)上展示出對稱性，這種對稱結(jié)構(gòu)一般來說具有相同或相近的性質(zhì)，《進(jìn)程代數(shù)：對稱與動作細(xì)化》討論了并發(fā)系統(tǒng)的進(jìn)程代數(shù)語言及其事件結(jié)構(gòu)模型中的對稱性、對稱約簡、對稱約簡對動作細(xì)化的影響以及基于束動作變遷的偏序約簡與應(yīng)用，力圖在結(jié)構(gòu)層次上建立對建模語言和模型進(jìn)行約簡及細(xì)化的基本理論和方法，為高效機械化設(shè)計和分析并發(fā)系統(tǒng)服務(wù)?！哆M(jìn)程代數(shù)：對稱與動作細(xì)化》可以供高年級大學(xué)生、研究生、教師和科研人員作為了解數(shù)學(xué)機械化基本思想與方法在形式化并發(fā)系統(tǒng)設(shè)計與分析中應(yīng)用的參考書。

作者簡介

暫缺《進(jìn)程代數(shù)：對稱與動作細(xì)化》作者簡介

圖書目錄

第一章　緒論
　1.1　對稱
　1.2　動作細(xì)化
　1.3　相關(guān)工作
　1.4　本書貢獻(xiàn)
　1.5　本書組織
第二章　理論基礎(chǔ)
　2.1　進(jìn)程代數(shù)
　2.2　事件結(jié)構(gòu)
　2.3　動作細(xì)化
　2.4　標(biāo)記變遷系統(tǒng)
　2.5　模型檢驗
第三章　進(jìn)程代數(shù)中的對稱性
　3.1　引言
　3.2　進(jìn)程代數(shù)與白同構(gòu)
　3.3　進(jìn)程代數(shù)的對稱性
　3.4　行為等價的保持
　3.5　一個約簡算法
　3.6　例子
　3.7　小結(jié)
第四章　事件結(jié)構(gòu)模型的對稱性
　4.1　引言
　4.2　事件結(jié)構(gòu)中的對稱
　4.3　對稱與等價
　4.4　動作細(xì)化的保持
　4.5　對稱約簡算法
　4.6　語法和語義層次上對稱約簡的重合性
　4.7　小結(jié)
第五章　對稱與自互模擬
　5.1　引言
　5.2　自互模擬
　5.3　自互模擬與對稱的區(qū)別
　5.4　自互模擬與對稱的聯(lián)系
　5.5　小結(jié)
第六章　等價在動作細(xì)化下的保持
　6.1　引言
　6.2　交織等價
　6.3　步進(jìn)等價
　6.4　動作細(xì)化下等價的保持
　6.5　小結(jié)
第七章　基子束動作的偏序約簡
　7.1　引言
　7.2　傳統(tǒng)的偏序約簡
　7.3　動作與束動作
　7.4　束動作的基本思想
　7.5　束動作路徑掃描跡等價
　7.6　束動作偏序約簡
　7.7　束動作偏序約簡的實現(xiàn)
　7.8　小結(jié)
參考文獻(xiàn)