Monads and Quantitative Equational Theories for Nondeterminism and Probability

DOI10.4230/LIPIcs.CONCUR.2020.28OpenAlexW3081526170MaRDI QIDQ5089294

Matteo Mio, Valeria Vignudelli

Publication date: 18 July 2022

Full work available at URL: https://arxiv.org/abs/2005.07509

zbMATH Keywords

metric spacesmonadscomputational effectsquantitative algebras

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (6)

A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces ⋮ Up-to techniques for behavioural metrics via fibrations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Algebraic presentation of semifree monads

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantic domains for combining probability and non-determinism
• A general account of coinduction up-to
• Bialgebras for structural operational semantics: an introduction
• Notions of computation and monads
• Axiomatizations for probabilistic finite-state behaviors
• Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
• SOS specifications for uniformly continuous operators
• Complete axiomatization for the total variation distance of Markov chains
• Postulates for the barycentric calculus
• Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Convexity, Duality and Effects
• On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
• Continuous Previsions
• Quantitative Algebraic Reasoning
• Up-To Techniques for Behavioural Metrics via Fibrations
• An Algebraic Theory of Markov Processes
• Combining probabilistic and non-deterministic choice via weak distributive laws
• Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
• Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
• Prevision Domains and Convex Powercones
• Distributing probability over non-determinism
• CONCUR 2005 – Concurrency Theory

This page was built for publication: Monads and Quantitative Equational Theories for Nondeterminism and Probability