文章基本信息
- 标题：Split-2 Bisimilarity has a Finite Axiomatization over CCS with Hennessy's Merge
- 本地全文：下载
- 作者：Luca Aceto ; Wan Fokkink ; Anna Ingolfsdottir 等
- 期刊名称：Logical Methods in Computer Science
- 印刷版ISSN：1860-5974
- 电子版ISSN：1860-5974
- 出版年度：2005
- 卷号：1
- 期号：1
- 出版社：Technical University of Braunschweig
