We try to clarify the relationship between interleaving concurrency and true concurrency, based on the very recent work on truly concurrent process algebra, especially, giving models of true concurrency, such as event structure, Petri net and concurrent Kleene algebra, (truly concurrent) process algebra foundations.

翻译：本文基于近期关于真正并发进程代数的研究工作，特别是建立真并发模型（如事件结构、Petri网和并发Kleene代数）以及（真正并发的）进程代数基础，试图厘清交错并发与真正并发之间的关系。