A finite equational base for CCS with left merge and communication merge
A finite equational base for CCS with left merge and communication merge
复制标题
具有左合并和通信合并的CCS有限方程基
DOI：
--
复制
发表时间：
2006
期刊：
影响因子：
--
通讯作者：
B. Luttik
中科院分区：
文献类型：
--
作者：
L. Aceto;W. Fokkink;A. Ingólfsdóttir;B. Luttik
使用左合并和来自 ACP 的通信合并，我们为 CCS 片段提供了一个方程基（即，一组基本完整且 ω 完整的有效方程），没有递归、限制和重新标记模（强）双相似性。如果动作集是有限的，那么我们的方程基也是有限的。
Using the left merge and the communication merge from ACP, we present an equational base (i.e., a ground-complete and ω-complete set of valid equations) for the fragment of CCS without recursion, restriction and relabeling modulo (strong) bisimilarity. Our equational base is finite if the set of actions is finite.