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.
翻译:我们引入了确定性并存系统作为并行系统的一个亚类。 确定性并存系统是“局部对流”并存系统。 我们证明不可减少和确定性并存系统具有独特的概率动态,我们通过这些系统的分析性交汇特性来描述这些系统的特点。