An Algebraic Theory of Markov Processes

DOI10.1145/3209108.3209177zbMath1453.08002OpenAlexW2799266534MaRDI QIDQ5145344

Radu Mardare, Prakash Panangaden, Giorgio Bacci, Gordon D. Plotkin

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: https://vbn.aau.dk/da/publications/31664965-faa2-49b6-8642-8e9ce7ff052e

zbMATH Keywords

Markov processesequational logicquantitative reasoningcombining monads

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Equational logic, Mal'tsev conditions (08B05) Quasivarieties (08C15) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (3)

A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics ⋮ Unnamed Item ⋮ Monads and Quantitative Equational Theories for Nondeterminism and Probability

This page was built for publication: An Algebraic Theory of Markov Processes