$\text{CLL}_R$ 中方程的最大解及其应用

Yan Zhang; Zhaohui Zhu; Jinjin Zhang

$\text{CLL}_R$ 中方程的最大解及其应用

计算机科学中的逻辑 2014-11-05 v1

作者: Yan Zhang , Zhaohui Zhu , Jinjin Zhang

摘要

本文进一步探讨了进程演算 $\text{CLL}_R$ 。首先，我们证明对于任何满足 $X$ 在 $t_X$ 中强守护的方程 $X=_{RS} t_X$ ， $\langle X|X=t_X \rangle$ 是关于 $\sqsubseteq_{RS}$ 的最大解。其次，我们在 $\text{CLL}_R$ 中编码了基于动作的 CTL 的一个片段。

关键词

进程演算 CLL_R 最大解强守护基于动作的 CTL

引用

@article{arxiv.1411.0756,
  title  = {Greatest solutions of equations in $\text{CLL}_R$ and its application},
  author = {Yan Zhang and Zhaohui Zhu and Jinjin Zhang},
  journal= {arXiv preprint arXiv:1411.0756},
  year   = {2014}
}

备注

13 pages. arXiv admin note: text overlap with arXiv:1301.3350

$\text{CLL}_R$ 中方程的最大解及其应用

摘要

关键词

引用

备注

相关论文