论文标题
过程代数，过程调度和相互排除
Process algebra, process scheduling, and mutual exclusion
论文作者
论文摘要
在当代编程语言中发现的多线程中，并行过程根据所谓的操作系统领域中所谓的避难所策略进行交织。在上一篇论文中，我们以这种交织形式扩展了ACP。在当前的论文中，我们以ACP的变体为ACP $_ε$。 ACP $_ε$的选择源于需要涵盖更多流程规定的政策。我们表明，现在涵盖了支持关键子过程相互排除的过程规定政策。
In the case of multi-threading as found in contemporary programming languages, parallel processes are interleaved according to what is known as a process-scheduling policy in the field of operating systems. In a previous paper, we extend ACP with this form of interleaving. In the current paper, we do so with the variant of ACP known as ACP$_ε$. The choice of ACP$_ε$ stems from the need to cover more process-scheduling policies. We show that a process-scheduling policy supporting mutual exclusion of critical subprocesses is now covered.
