An Event Structure Model for Probabilistic Concurrent Kleene Algebra

DOI10.1007/978-3-642-45221-5_43zbMath1407.68337arXiv1310.2320OpenAlexW1650412348MaRDI QIDQ2870160

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)

Related Items (7)

Schedulers and Finishers: On Generating the Behaviours of an Event Structure ⋮ Probabilistic rely-guarantee calculus ⋮ On the algebraic structure of Weihrauch degrees ⋮ Quantitative Verification of Stochastic Regular Expressions ⋮ 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

This page was built for publication: An Event Structure Model for Probabilistic Concurrent Kleene Algebra