稳定组态结构的反向互模拟
Reverse Bisimulations on Stable Configuration Structures
摘要：
配置结构上的各种等价之间的关系，包括交织互模拟（IB），步骤互模拟（SB）和遗传历史保留（HH）互模拟，已经由van Glabbeek和Goltz（以及后来的Fecher）研究。由于HH互模拟可以通过使用反向以及正向转换来表征，因此感兴趣的是调查IB和SB的形式，其中允许正向和反向转换。我们给出了反向SB的各种特征，表明向前的步骤不增加额外的功率。我们加强Bednarczyk的结果，在没有自动并发，反向IB是强大的HH互模拟，通过显示，我们只需要排除自动并发事件在同一深度的配置。
英文摘要：
The relationships between various equivalences on configuration structures, including interleaving bisimulation (IB), step bisimulation (SB) and hereditary history-preserving (HH) bisimulation, have been investigated by van Glabbeek and Goltz (and later Fecher). Since HH bisimulation may be characterised by the use of reverse as well as forward transitions, it is of interest to investigate forms of IB and SB where both forward and reverse transitions are allowed. We give various characterisations of reverse SB, showing that forward steps do not add extra power. We strengthen Bednarczyk's result that, in the absence of auto-concurrency, reverse IB is as strong as HH bisimulation, by showing that we need only exclude auto-concurrent events at the same depth in the configuration.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
