Deterministic concurrent systems
Abstract
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.
- Publication:
-
arXiv e-prints
- Pub Date:
- August 2020
- DOI:
- 10.48550/arXiv.2008.07233
- arXiv:
- arXiv:2008.07233
- Bibcode:
- 2020arXiv200807233A
- Keywords:
-
- Mathematics - Combinatorics;
- Computer Science - Discrete Mathematics
- E-Print:
- 20 pages, 1 table, 6 figures, 13 bibliographical references