关于进程代数中无限守护递归规范
计算机科学中的逻辑
2020-05-05 v1
摘要
在大多数带守护递归的ACP表述中,递归规范是有限或无限的递归方程集合,其右侧为守护项。带守护递归的ACP公理关于互模拟等价性的完备性,仅对递归规范为有限递归方程集合且右侧为称为线性项的受限形式守护项这一特殊情况得到了证明。在本注记中,我们将该完备性结果推广至一般情况。
引用
@article{arxiv.2005.00746,
title = {On infinite guarded recursive specifications in process algebra},
author = {R. J. van Glabbeek and C. A. Middelburg},
journal= {arXiv preprint arXiv:2005.00746},
year = {2020}
}
备注
9 pages, there is text overlap with earlier papers (arXiv:1703.06822, arXiv:1912.10041, arXiv:2003.00473)