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

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