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