论定量互模拟中标号与权重的权衡
计算机科学中的逻辑
2017-05-19 v1
摘要
转移系统的归约最近被引入作为一种统一且原则性的方法，用于比较系统模型在一系列性质（尤其是互模拟）方面的表达能力。在本文中，我们研究了定量计算模型的表达能力（关于互模拟），如加权标号转移系统 (WLTSs)、均匀标号转移系统 (ULTraSs) 和状态到函数转移系统 (FuTSs)。我们证明了标号与权重之间存在权衡：一端是（无标号的）加权转移系统类，其中信息仅使用权重表示；另一端是标号转移系统类 (LTSs)，其中信息被转移到标号上。这些系统类别无法以任何显著方式进一步归约，且涵盖了上述所有模型。
引用
@article{arxiv.1705.06439,
title = {On the trade-off between labels and weights in quantitative bisimulation},
author = {Marco Peressotti},
journal= {arXiv preprint arXiv:1705.06439},
year = {2017}
}