We try to clarify the relationship between Kleene algebra and process algebra, based on the very recent work on Kleene algebra and process algebra. Both for concurrent Kleene algebra (CKA) with communications and truly concurrent process algebra APTC with Kleene star and parallel star, the extended Milner's expansion law $a\parallel b=a\cdot b+b\cdot a+a\parallel b +a\mid b$ holds, with $a,b$ being primitives (atomic actions), $\parallel$ being the parallel composition, $+$ being the alternative composition, $\cdot$ being the sequential composition and the communication merge $\mid$ with the background of computation. CKA and APTC are all the truly concurrent computation models, can have the same syntax (primitives and operators), maybe have the same or different semantics.
翻译:基于近期关于 Kleene 代数与进程代数的研究工作,我们试图厘清二者之间的关系。对于带通信的并发 Kleene 代数(CKA)以及带 Kleene 星和并行星的真并发进程代数 APTC,扩展的 Milner 展开律 $a\parallel b=a\cdot b+b\cdot a+a\parallel b +a\mid b$ 成立,其中 $a,b$ 为原子动作,$\parallel$ 为并行复合,$+$ 为选择复合,$\cdot$ 为顺序复合,$\mid$ 为通信合并(基于计算背景)。CKA 与 APTC 均为真并发计算模型,它们可具有相同的语法(原子动作和算子),但语义可能相同或不同。