文章基本信息

标题：Rooted Divergence-Preserving Branching Bisimilarity is a Congruence
本地全文：下载
作者：Spaninks, Linda ; Luttik, Bas ; van Glabbeek, Rob 等
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2020
卷号：16
期号：3
页码：1-16
语种：English
出版社：Technical University of Braunschweig
摘要：We prove that rooted divergence-preserving branching bisimilarity is acongruence for the process specification language consisting of nil, actionprefix, choice, and the recursion construct.
关键词：Computer Science - Logic in Computer Science;F.3.2