Probabilistic concurrent Kleene algebra

MaRDI QIDQ4992527zbMATH OpenFDO

Authors Tahiry Rabehaja, Georg Struth, Annabelle McIver

Publication date 9 June 2021

Full work available at URL https://arxiv.org/abs/1306.2697, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QAPL2013.7

Mathematics Subject Classification ID

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

Recommendations

• An event structure model for probabilistic concurrent Kleene algebra
• Concurrent Kleene Algebra
• Concurrent Kleene algebra and its foundations
• Probabilistic rely-guarantee calculus
• Foundations of concurrent Kleene algebra

Cited in

(16)

• scientific article; zbMATH DE number 7559476 (Why is no real title available?)
• Linear Structures for Concurrency in Probabilistic Programming Languages
• Using Probabilistic Kleene Algebra for Protocol Verification
• An event structure model for probabilistic concurrent Kleene algebra
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond
• scientific article; zbMATH DE number 1444329 (Why is no real title available?)
• Using probabilistic Kleene algebra pKA for protocol verification
• On probabilistic Kleene algebras, automata and simulations
• Weighted synchronous automata
• Confluence in probabilistic rewriting
• Foundations of concurrent Kleene algebra
• scientific article; zbMATH DE number 7204945 (Why is no real title available?)
• Probabilistic rely-guarantee calculus
• Algebraic reasoning for probabilistic action systems and while-loops
• Probabilistic configuration theories
• Concurrent Kleene Algebra

This page was built for publication: Probabilistic concurrent Kleene algebra

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