论文标题
关于过程代数的无限保护递归规格
On infinite guarded recursive specifications in process algebra
论文作者
论文摘要
在大多数带有保护递归的ACP的演示中，递归规格是有限或无限的递归方程组，其右侧的术语是守护的。对于特殊情况，递归规格是有限的递归方程组的有限递归方程组，其右侧的右侧是被限制的形式称为线性术语的有限术语。在本说明中，我们将这种完整性结果扩大到一般情况下。
In most presentations of ACP with guarded recursion, recursive specifications are finite or infinite sets of recursion equations of which the right-hand sides are guarded terms. The completeness with respect to bisimulation equivalence of the axioms of ACP with guarded recursion has only been proved for the special case where recursive specifications are finite sets of recursion equations of which the right-hand sides are guarded terms of a restricted form known as linear terms. In this note, we widen this completeness result to the general case.
