Scifaro

中文

关于 $\text{CLL}_R$ 中方程的最大解

计算机科学中的逻辑 2015-02-13 v1

作者: Yan Zhang , Zhaohui Zhu , Jinjin Zhang

在 arXiv 上查看 ↗ PDF ↗

摘要

研究表明，对于面向 LLTS 的进程演算 $\text{CLL}_R$ 中的任意方程 $X=_{RS} t_X$ ，若 $X$ 在 $t_X$ 中强防护，则递归项 $\langle X|X=t_X \rangle$ 是该方程关于 L\"{u}ttgen 与 Vogler 的就绪模拟的最大解。

关键词

进程演算 CLL_R 最大解强防护方程递归项就绪模拟 LLTS

引用

@article{arxiv.1502.03629,
  title  = {On the greatest solution of equations in $\text{CLL}_R$},
  author = {Yan Zhang and Zhaohui Zhu and Jinjin Zhang},
  journal= {arXiv preprint arXiv:1502.03629},
  year   = {2015}
}

备注

9 pages. arXiv admin note: text overlap with arXiv:1411.0756