Relations into algebras of probabilistic distributions

DOI10.1016/J.JLAP.2014.02.014zbMATH Open1434.68339OpenAlexW1965212573MaRDI QIDQ406461FDOQ406461

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

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

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)

Cites Work

• Relational algebraic semantics of deterministic and nondeterministic programs
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Parallel action: Concurrent dynamic logic with independent modalities
• Concurrent dynamic logic
• A completeness theorem for Kleene algebras and the algebra of regular events
• Abstraction, Refinement and Proof for Probabilistic Systems
• Probabilistic models for the guarded command language
• Game logic -- an overview
• The cube of Kleene algebras and the triangular prism of multirelations
• Mathematics of Program Construction
• Mathematics of Program Construction
• Using Probabilistic Kleene Algebra for Protocol Verification
• Theory and Applications of Relational Structures as Knowledge Instruments

Cited In (6)

• Title not available (Why is that?)
• Some methods for computing component distribution probabilities in relational structures
• Compatibility of distributions in probabilistic models: an algebraic frame and some characterizations
• Вероятностные соотношения для преобразований конечных векторных пространств
• Title not available (Why is that?)
• Eilenberg--Moore algebras for stochastic relations

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)