Relations into algebras of probabilistic distributions

DOI10.1016/j.jlap.2014.02.014zbMath1434.68339OpenAlexW1965212573MaRDI QIDQ406461

Yasuo Kawahara, Norihiro Tsumagari, Hitoshi Furusawa

Publication date: 8 September 2014

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2014.02.014

zbMATH Keywords

relational calculusalgebras of probabilistic distributionsassociativity and distributivity of convex compositionconvex relations

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Cylindric and polyadic algebras; relation algebras (03G15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Relational algebraic semantics of deterministic and nondeterministic programs
• Parallel action: Concurrent dynamic logic with independent modalities
• A completeness theorem for Kleene algebras and the algebra of regular events
• Probabilistic models for the guarded command language
• Game logic -- an overview
• The Cube of Kleene Algebras and the Triangular Prism of Multirelations
• Concurrent dynamic logic
• Abstraction, Refinement and Proof for Probabilistic Systems
• Mathematics of Program Construction
• Mathematics of Program Construction
• Using Probabilistic Kleene Algebra for Protocol Verification
• Theory and Applications of Relational Structures as Knowledge Instruments

This page was built for publication: Relations into algebras of probabilistic distributions