论文标题
确定性并发系统
Deterministic concurrent systems
论文作者
论文摘要
我们将确定性并发系统作为并发系统的子类介绍。确定性并发系统是“本地交换”并发系统。我们证明，不可还原和确定性的并发系统具有独特的概率动力学，我们通过其分析组合属性来表征这些系统。
We introduce deterministic concurrent systems as a subclass of concurrent systems. Deterministic concurrent system are "locally commutative" concurrent systems. We prove that irreducible and deterministic concurrent systems have a unique probabilistic dynamics, and we characterise these systems by means of their analytic combinatorics properties.
