文章基本信息

标题：CONDITIONAL BISIMILARITY FOR REACTIVE SYSTEMS
本地全文：下载
作者：Mathias Hülsbusch ; Barbara König ; Sebastian Küpper 等
期刊名称：Logical Methods in Computer Science
印刷版ISSN：1860-5974
电子版ISSN：1860-5974
出版年度：2022
卷号：18
期号：1
页码：1-41
DOI：10.46298/lmcs-18(1:6)2022
语种：English
出版社：Technical University of Braunschweig
摘要：Reactive systems à la Leifer and Milner, an abstract categorical framework for rewriting, provide a suitable framework for deriving bisimulation congruences. This is done by synthesizing interactions with the environment in order to obtain a compositional semantics. We enrich the notion of reactive systems by conditions on two levels: first, as in earlier work, we consider rules enriched with application conditions and second, we investigate the notion of conditional bisimilarity. Conditional bisimilarity allows us to say that two system states are bisimilar provided that the environment satisfies a given condition. We present several equivalent definitions of conditional bisimilarity, including one that is useful for concrete proofs and that employs an up-to-context technique, and we compare with related behavioural equivalences. We consider examples based on DPO graph rewriting, an instantiation of reactive systems.
关键词：conditional bisimilarity;reactive systems;up-to context;graph transformation