Equivalences, Congruences, and Complete Axiomatizations for probabilistic processes
學年 79
學期 2
出版(發表)日期 1991-06-25
作品名稱 Equivalences, Congruences, and Complete Axiomatizations for probabilistic processes
作品名稱(其他語言)
著者 周清江; Smolka
單位 淡江大學資訊管理學系
出版者
著錄名稱、卷期、頁數 Lecture Notes in Computer Science 458, pp.367-383
摘要
關鍵字
語言 en
ISSN
期刊性質
收錄於
產學合作
通訊作者
審稿制度
國別
公開徵稿
出版型式
相關連結

機構典藏連結 ( http://tkuir.lib.tku.edu.tw:8080/dspace/handle/987654321/68575 )

機構典藏連結