半环加权标记转移系统的弱互模拟
计算机科学中的逻辑
2013-10-16 v1
摘要
加权标记转移系统 (WLTS) 是指其转移权重取自交换幺半群的 LTS。WLTS 涵盖了大量 LTS，提供了强（加权）互模拟的一般概念。在本文中，通过考虑权重的半环，我们将此框架扩展至其他行为等价性。利用这种额外结构，我们引入了弱加权互模拟的一般概念。我们表明，在非确定性和全概率系统的情形下，弱加权互模拟与通常的弱互模拟一致；此外，它还为目前缺乏该概念的各类 LTS（如随机系统）自然地提供了弱互模拟的定义。最后，我们给出了弱加权互模拟的余代数构造的范畴论描述；该构造指出了如何将我们的方法移植到基于不同可观测性概念的其他等价性上。
引用
@article{arxiv.1310.4106,
title = {Weak bisimulations for labelled transition systems weighted over semirings},
author = {Marino Miculan and Marco Peressotti},
journal= {arXiv preprint arXiv:1310.4106},
year = {2013}
}