存在 epsilon 条件下带条件式的进程代数
计算机科学中的逻辑
2012-04-17 v1
摘要
在之前的一篇论文中，我们提出了 ACP 的几种带有条件表达式的扩展，其中包括一种在条件上具有回溯算子的扩展，以允许回顾执行先前动作所处的条件。在本文中，我们在这些 ACP 扩展中添加了一个表示仅能成功终止的进程的常量，这在应用中非常有用。事实证明，在所有情况下，添加此常量均无问题。
引用
@article{arxiv.1204.3249,
title = {Process algebra with conditionals in the presence of epsilon},
author = {J. A. Bergstra and C. A. Middelburg},
journal= {arXiv preprint arXiv:1204.3249},
year = {2012}
}
备注
41 pages