Deterministic concurrent systems
Combinatorics
2021-03-18 v3 Discrete Mathematics
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.
Keywords
Cite
@article{arxiv.2008.07233,
title = {Deterministic concurrent systems},
author = {Samy Abbes},
journal= {arXiv preprint arXiv:2008.07233},
year = {2021}
}
Comments
20 pages, 1 table, 6 figures, 13 bibliographical references