TL;DR
This paper introduces deterministic concurrent systems, a subclass of concurrent systems characterized by local commutativity, and proves their unique probabilistic dynamics and analytic properties.
Contribution
It defines deterministic concurrent systems, proves their unique probabilistic dynamics, and characterizes them through analytic combinatorics.
Findings
Irreducible deterministic systems have a unique probabilistic dynamics.
Deterministic systems are characterized by local commutativity.
Analytic combinatorics effectively describes these 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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.