论文研究 逻辑LTS预备模拟关系的判定算法.pdf

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