逻辑LTS预备模拟关系的判定算法

摘要：

进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来，Gerald Luttgen等人将二者进行结合，提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟，并从划分对的角度出发，给出与该描述等价的稳定划分对概念。基于这一概念给出一种判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的理论算法，并证明其正确性。

关键词：逻辑标记转换系统、预备模拟、划分对、稳定性、判定算法

所属期刊栏目：52

分类号：TP301.6(计算技术、计算机技术)

资助基金：国家自然科学基金No.60973045。

在线出版日期：2016-09-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：41-48