公理化 Lüttgen 和 Vogler 在 $\text{CLL}_R$ 中针对有限过程的就绪模拟
计算机科学中的逻辑
2015-02-13 v1
摘要
在逻辑标记转移系统的框架下，Lüttgen 和 Vogler 提出了一种弱就绪模拟的变体。已证明此类行为前序是关于并行和合取组合满足所需性质的最大前同余。本文针对演算 中不含递归的过程，为此前同余提供了一种基完全（ground-complete）公理化。与通常的进程演算推理系统相比，除了关于进程算子的公理外，此类系统还包含若干刻画进程算子与逻辑算子之间交互的公理。
引用
@article{arxiv.1502.03636,
title = {Axiomatizing L\"{u}ttgen and Vogler's ready simulation for finite processes in $\text{CLL}_R$},
author = {Yan Zhang and Zhaohui Zhu and Jinjin Zhang},
journal= {arXiv preprint arXiv:1502.03636},
year = {2015}
}
备注
25 pages