摘要：使用ACP的左合并和通信合并，我们为没有循环、限制和重新标记的CCS片段提供了一个等式基础（即一个地面完整和ω-完整的有效等式集）。如果动作集是有限的，则我们的等式基础是有限的。
作者：Luca Aceto, Wan Fokkink, Anna Ingolfsdottir, and Bas Luttik
论文ID：cs/0608001
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2007-05-23
PDF 下载： 英文版 中文版pdf翻译中