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
relational calculusalgebras of probabilistic distributionsassociativity and distributivity of convex compositionconvex relations
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