2020/04/07 by Christel Baier · 1 citation
Computer Science · #Distributed systems and fault tolerance #Formal Methods in Verification #Logic, programming, and type systems
paper · doi:10.3217/jucs-011-10-1718
openalex created_date 2016/06/24 · openalex publication_date 2020/04/07 · openalex updated_date 2026/07/17
Constraint automata have been used as an operational model for Reo which o#ers a channel-based framework to compose complex component connectors. In this paper, we introduce a variant of constraint automata with discrete probabilities and nondeterminism, called probabilistic constraint automata. These can serve for compositional reasoning about connector components, modelled by Reo circuits with unreliable channels, e.g., that might loose or corrupt messages, or channels with random output values that, e.g., can be helpful to model randomized coordination principles.