文件名称：论文研究-逻辑LTS预备模拟关系的判定算法.pdf
文件大小：622KB
文件格式：PDF
更新时间：2022-09-30 23:53:24
论文研究
进程代数与时序逻辑是并发理论中应用最为广泛的两大规范系统。近来，Gerald Luttgen等人将二者进行结合，提出了逻辑标记转换系统以及相应的精化关系——LLTS预备模拟。提出了一种LLTS预备模拟关系的等价描述方式——泛化预备模拟，并从划分对的角度出发，给出与该描述等价的稳定划分对概念。基于这一概念给出一种判定两个逻辑标记转换系统之间是否具有LLTS预备模拟关系的理论算法，并证明其正确性。