时态系统的行为等价性
摘要：定时过渡系统是行为模型，包括对时间流的明确处理，并用于形式化几个基础过程演算和自动机的语义。尽管它们的相关性，但目前尚缺乏定时过渡系统及其行为理论的一般数学性描述。我们引入了第一个统一的定时行为模型框架，其中包括已知的行为等价性如定时仿真、定时语言等价性以及它们的弱化和时间抽象等效性。所有这些等价性概念都按照它们的区分能力在一个光谱中自然组织起来。我们证明了这一结果不依赖于受审查系统的类型：它适用于任何定时过渡系统的一般化。我们将我们的框架实例化为定时过渡系统及其定量扩展，如定时概率系统。
作者：Tomasz Brengos, Marco Peressotti
论文ID：1711.10233
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-06-22