Scifaro

中文

CCS 带左合并与通信合并的有限等式基

计算机科学中的逻辑 2007-05-23 v2

作者: Luca Aceto , Wan Fokkink , Anna Ingolfsdottir , Bas Luttik

在 arXiv 上查看 ↗ PDF ↗

摘要

我们采用 ACP 中的左合并与通信合并，提出了一个等式基（即地面完全且 $\omega$ 完全的有效等式集合），用于无递归、无限制和无重新标记的 CCS 片段。若动作集合为有限，则我们的等式基为有限个。

关键词

CCS 等式基左合并通信合并过程代数

引用

@article{arxiv.cs/0608001,
  title  = {A Finite Equational Base for CCS with Left Merge and Communication Merge},
  author = {Luca Aceto and Wan Fokkink and Anna Ingolfsdottir and Bas Luttik},
  journal= {arXiv preprint arXiv:cs/0608001},
  year   = {2007}
}