摘要：关于交错并发和真并发的关系，我们基于最近关于真并发过程代数的研究尝试做出澄清，特别是给出了真并发的模型，如事件结构、Petri网和并发克里尼代数。
作者：Yong Wang
论文ID：2304.04406
分类：Logic in Computer Science
分类简称：cs.LO
提交时间：2023-08-25
PDF 下载： 英文版 中文版pdf翻译中