Deterministic concurrent systems

08/17/2020

∙

by   Samy Abbes, et al.

∙

0

∙

share

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.