《進程代數：對稱與動作細化》是2007年科學出版社的圖書，作者是王永祥、吳盡昭、蔣建民。
基本介紹
- 書名：進程代數：對稱與動作細化
- ISBN：7030188659,9787030188656
- 出版社：科學出版社有限責任公司
- 開本：5
- 精裝：108頁
- 條形碼：9787030188656
- 商品尺寸：24.4x17.5x1.1cm
- 商品重量：322g
內容簡介
本書針對進程代數語言提出了對稱性的概念，並給出了對稱約簡算法，同時證明了約簡後的進程與原進程是交織跡和交織互模擬等價的，最後提供了兩個有意義的實例來說明對稱性的定義以及驗證約簡算法的正確性。
