An event structure model for probabilistic concurrent Kleene algebra

DOI10.1007/978-3-642-45221-5_43MaRDI QIDQ2870160zbMATH OpenOpenAlexFDO

Authors Tahiry Rabehaja, Georg Struth, Annabelle McIver

Publication date 17 January 2014

Published in Logic for Programming, Artificial Intelligence, and Reasoning (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1310.2320

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Abstract: We give a new true-concurrent model for probabilistic concurrent Kleene algebra. The model is based on probabilistic event structures, which combines ideas from Katoen's work on probabilistic concurrency and Varacca's probabilistic prime event structures. The event structures are compared with a true-concurrent version of Segala's probabilistic simulation. Finally, the algebraic properties of the model are summarised to the extent that they can be used to derive techniques such as probabilistic rely/guarantee inference rules.

Recommendations

• Probabilistic concurrent Kleene algebra
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• Probabilistic -calculus and event structures
• Concurrent Kleene algebra and its foundations
• Foundations of concurrent Kleene algebra

Cited in

(16)

• Relating conflict-free stable transition and event models via redex families
• Schedulers and finishers: on generating and filtering the behaviours of an event structure
• A semantics and a logic for \textit{Fuzzy Arden Syntax}
• On the relation between concurrent separation logic and concurrent Kleene algebra
• True-concurrency probabilistic models: Branching cells and distributed probabilities for event structures
• Probabilistic event structures and domains
• On probabilistic Kleene algebras, automata and simulations
• Schedulers and finishers: on generating the behaviours of an event structure
• On the algebraic structure of Weihrauch degrees
• Probabilistic concurrent Kleene algebra
• Probabilistic rely-guarantee calculus
• Quantitative Verification of Stochastic Regular Expressions
• CONCUR 2004 - Concurrency Theory
• Conditionals, Information, and Inference
• scientific article; zbMATH DE number 4182807 (Why is no real title available?)
• Causal Unfoldings

This page was built for publication: An event structure model for probabilistic concurrent Kleene algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2870160)