论文标题
在真实并发的平行组合上
On the Parallel Composition for True Concurrency
论文作者
论文摘要
为了深入了解真实并发的并行组成，我们回想起并行组成模量真正并发行为等价的公理化，这是真正并发过程代数APTC的侧视。我们证明：（1）在没有任何辅助操作员的情况下，平行组合物模量，步骤和HP - 两者都有有限的声音和完整的公理化。 （2）没有任何辅助操作员的平行组成模量HHP - 仿真的有限声音和完整的公理化。 （3）有有限的声音和平行组成模量Pomet，步骤，HP-的完整公理化。和HHP - 示例，辅助左平行组成和通信合并。
For insight into the parallel composition for true concurrency, we recall the axiomatization of the parallel composition modulo truly concurrent behavioral equivalences as the sidelights of truly concurrent process algebra APTC. We prove that: (1) There is a finite sound and complete axiomatization of the parallel composition modulo pomset, step and hp-bisimulations, without any auxiliary operators. (2) There does not exist a finite sound and complete axiomatization of the parallel composition modulo hhp-bisimulation, without any auxiliary operator. (3) There is a finite sound and complete axiomatization of the parallel composition modulo pomset, step, hp-. and hhp-bisimulations, with the auxiliary left parallel composition and communication merge.
