一种用于EP-等价性的精简-相容格式
摘要：使保持双模拟性成为强双模拟性的一种细化，它能够保持安全性和存活性属性。为了正确定义它，需要提升带有后继关系的标记转换系统，以捕捉在同一状态中启用的并发转换。我们丰富了著名的De Simone格式，以处理对该后继关系的归纳定义。然后我们证明了ep-双模拟是运算符的合同性，以及对于所有（丰富）的De Simone语言，适合递归的精简合同性。
作者：Rob van Glabbeek and Peter H"ofner and Weiyou Wang
论文ID：2308.16350
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-09-01