arXiv++ Combinatorics

Browse math.CO papers from arXiv

Deterministic concurrent systems

Published: 2020-08-17 | Updated: 2021-03-17
Comments: 20 pages, 1 table, 6 figures, 13 bibliographical references

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.

BibTeX

Loading...