基本信息
出版社: 科學出版社有限責任公司; 第1版 (2007年6月18日)
叢書名: 數學機械化叢書
精裝: 108頁
開本: 5
ISBN: 7030188659, 9787030188656
條形碼: 9787030188656
商品尺寸: 24.4 x 17.5 x 1.1 cm
商品重量: 322 g
品牌: 科學出版社
ASIN: B0011F85A0
內容簡介
本書針對進程代數語言提出了對稱性的概念，並給出了對稱約簡算法，同時證明了約簡後的進程與原進程是交織跡和交織互模擬等價的，最後提供了兩個有意義的實例來說明對稱性的定義以及驗證約簡算法的正確性。
