关于基于路径的余代数与弱互模拟概念
计算机科学中的逻辑
2017-05-31 v2
摘要
众所周知，余代数理论提供了一种行为等价性的抽象定义，该定义在多种基于状态的系统中与强互模拟相一致。遗憾的是，在存在所谓静默动作的情况下，该理论尚未完全发展成熟。在本文中，我们在标号迁移系统和全概率系统的背景下，给出了分支互模拟的余代数刻画。结果表明，在这两种情形下，从某状态记录执行轨迹（直至一种 stuttering 概念），而非记录后继状态集合，足以刻画分支互模拟。
引用
@article{arxiv.1705.08715,
title = {On path-based coalgebras and weak notions of bisimulation},
author = {Harsh Beohar and Sebastian Küpper},
journal= {arXiv preprint arXiv:1705.08715},
year = {2017}
}
备注
A long version (with proofs) of CALCO'17 paper