由我自己整理的對(duì)形式化方法中的進(jìn)程代數(shù)給了一個(gè)總體的概覽，因?yàn)閲鴥?nèi)做這個(gè)方向的不過，而且中文資料少得可憐，僅以分享。