稳定配置结构上的反向互模拟
计算机科学中的逻辑
2010-02-16 v1
摘要
van Glabbeek 和 Goltz（以及后来的 Fecher）研究了配置结构上各种等价关系之间的关系，包括交错互模拟 (IB)、步进互模拟 (SB) 和遗传历史保持 (HH) 互模拟。由于 HH 互模拟可以通过使用反向转换以及前向转换来刻画，因此研究允许同时使用前向和反向转换的 IB 和 SB 形式是有意义的。我们给出了反向 SB 的各种刻画，表明前向步进并未增加额外的能力。我们加强了 Bednarczyk 的结果，即在无自动并发的情况下，反向 IB 与 HH 互模拟具有相同的能力，我们通过证明只需排除配置中相同深度的自动并发事件来加强这一结果。
引用
@article{arxiv.1002.2871,
title = {Reverse Bisimulations on Stable Configuration Structures},
author = {Iain Phillips and Irek Ulidowski},
journal= {arXiv preprint arXiv:1002.2871},
year = {2010}
}