Relations into algebras of probabilistic distributions

DOI10.1016/J.JLAP.2014.02.014MaRDI QIDQ406461zbMATH OpenOpenAlexFDO

Authors Norihiro Tsumagari, Hitoshi Furusawa, Yasuo Kawahara

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

algebras of probabilistic distributionsassociativity and distributivity of convex compositionconvex relationsrelational calculus

Mathematics Subject Classification ID

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

Recommendations

• Congruences of convex algebras.
• scientific article; zbMATH DE number 7204940
• Eilenberg--Moore algebras for stochastic relations
• Distribution bisimilarity via the power of convex algebras
• Termination in convex sets of distributions

Cites work

• scientific article; zbMATH DE number 3858391 (Why is no real title available?)
• scientific article; zbMATH DE number 234018 (Why is no real title available?)
• A completeness theorem for Kleene algebras and the algebra of regular events
• Abstraction, Refinement and Proof for Probabilistic Systems
• Concurrent dynamic logic
• Game logic -- an overview
• Mathematics of Program Construction
• Mathematics of Program Construction
• Parallel action: Concurrent dynamic logic with independent modalities
• Probabilistic models for the guarded command language
• Probabilistic relational models of complete IL-semirings
• Relational algebraic semantics of deterministic and nondeterministic programs
• The cube of Kleene algebras and the triangular prism of multirelations
• Theory and Applications of Relational Structures as Knowledge Instruments
• Using Probabilistic Kleene Algebra for Protocol Verification

Cited in

(10)

• Eilenberg--Moore algebras for stochastic relations
• Termination in convex sets of distributions
• scientific article; zbMATH DE number 1103098 (Why is no real title available?)
• Some methods for computing component distribution probabilities in relational structures
• Probabilistic relational models of complete IL-semirings
• Convex algebras of probability distributions induced by finite associative rings
• Congruences of convex algebras.
• Compatibility of distributions in probabilistic models: an algebraic frame and some characterizations
• Вероятностные соотношения для преобразований конечных векторных пространств
• scientific article; zbMATH DE number 1507281 (Why is no real title available?)

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

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