We first present a probabilistic version of ACP that rests on the principle that probabilistic choices are always resolved before choices involved in alternative composition and parallel composition are resolved and then extend this probabilistic version of ACP with a form of interleaving in which parallel processes are interleaved according to what is known as a process-scheduling policy in the field of operating systems. We use the term strategic interleaving for this more constrained form of interleaving. The extension covers probabilistic process-scheduling policies.

中文翻译：

---

概率过程代数和策略交错

我们首先提出了一个 ACP 的概率版本，它基于概率选择总是在解决替代组合和并行组合中涉及的选择之前解决的原则，然后用一种交织形式扩展 ACP 的概率版本，其中并行过程根据操作系统领域所谓的进程调度策略。我们使用术语战略交织来表示这种更受约束的交织形式。扩展涵盖概率过程调度策略。