文章基本信息

标题：Bisimilarity is not Finitely Based over BPA with Interrupt
本地全文：下载
作者：Luca Aceto ; Willem Jan Fokkink ; Anna Ingólfsdóttir 等
期刊名称：BRICS Report Series
印刷版ISSN：0909-0878
出版年度：2005
卷号：12
期号：33
出版社：Aarhus University
摘要：This paper shows that bisimulation equivalence does not afford a finite equational axiomatization over the language obtained by enriching Bergstra and Klop's Basic Process Algebra with the interrupt operator. Moreover, it is shown that the collection of closed equations over this language is also not finitely based. In sharp contrast to these results, the collection of closed equations over the language BPA enriched with the disrupt operator is proven to be finitely based.