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

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