Introduction to probabilistic concurrent systems

The first part of the paper is an introduction to the theory of probabilistic concurrent systems under a partial order semantics. Key definitions and results are given and illustrated on examples. The second part includes contributions. We introduce deterministic concurrent systems as a subclass of...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Author Abbes, Samy
Format Paper Journal Article
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 11.10.2022
Subjects
Combinatorial analysis
Computer Science - Formal Languages and Automata Theory
Semantics
Online AccessGet full text

Cover

More Information
Summary:The first part of the paper is an introduction to the theory of probabilistic concurrent systems under a partial order semantics. Key definitions and results are given and illustrated on examples. The second part includes contributions. 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 characterize these systems by means of their combinatorial properties.
ISSN:2331-8422
DOI:10.48550/arxiv.2111.00507