论真并发的并行组合
计算机科学中的逻辑
2020-10-20 v1
摘要
为深入理解真并发的并行组合，我们回顾了真并发进程代数 APTC 中针对真并发行为等价关系的并行组合公理化作为旁注。我们证明：(1) 在不使用任何辅助算子的情况下，针对 pomset、step 与 hp-互模拟的并行组合存在有限、可靠且完备的公理化；(2) 在不使用任何辅助算子的情况下，针对 hhp-互模拟的并行组合不存在有限、可靠且完备的公理化；(3) 在使用辅助左并行组合与通信合并算子的情况下，针对 pomset、step、hp- 与 hhp-互模拟的并行组合存在有限、可靠且完备的公理化。
引用
@article{arxiv.2010.09645,
title = {On the Parallel Composition for True Concurrency},
author = {Yong Wang},
journal= {arXiv preprint arXiv:2010.09645},
year = {2020}
}