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

Algebraic theory of languages and automata (68Q70) 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)

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)

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

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)