Monads and Quantitative Equational Theories for Nondeterminism and Probability

DOI10.4230/LIPICS.CONCUR.2020.28OpenAlexW3081526170MaRDI QIDQ5089294FDOQ5089294

Authors: Matteo Mio, Valeria Vignudelli 

Publication date: 18 July 2022

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

Recommendations

• Stochastic lambda calculus and monads of probability distributions
• From probability monads to commutative effectuses
• scientific article; zbMATH DE number 7552812
• Probabilistic monads, domains and classical information
• Bimonoidal structure of probability monads
• A trustful monad for axiomatic reasoning with probability and nondeterminism
• Algebras of the extended probabilistic powerdomain monad
• scientific article; zbMATH DE number 522862
• Probabilities, distribution monads, and convex categories
• Quantifiers on languages and codensity monads

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)

Cites Work

• Title not available (Why is that?)
• Semantic domains for combining probability and non-determinism
• Title not available (Why is that?)
• Prevision Domains and Convex Powercones
• Bialgebras for structural operational semantics: an introduction
• Notions of computation and monads
• Title not available (Why is that?)
• Title not available (Why is that?)
• Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
• Labelled Markov processes.
• Distributing probability over non-determinism
• Convexity, duality and effects
• Title not available (Why is that?)
• Title not available (Why is that?)
• Axioms for probability and nondeterminism
• Title not available (Why is that?)
• Title not available (Why is that?)
• Axiomatizations for probabilistic finite-state behaviors
• CONCUR 2005 – Concurrency Theory
• Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
• An algebraic theory of Markov processes
• Continuous Previsions
• Title not available (Why is that?)
• A general account of coinduction up-to
• Title not available (Why is that?)
• Postulates for the barycentric calculus
• On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
• SOS specifications for uniformly continuous operators
• Compositional bisimulation metric reasoning with Probabilistic Process Calculi
• Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
• Title not available (Why is that?)
• Up-to techniques for generalized bisimulation metrics
• Upper-expectation bisimilarity and Łukasiewicz \(\mu \)-calculus
• Title not available (Why is that?)
• Coalgebraic behavioral metrics
• Up-to techniques for behavioural metrics via fibrations
• Quantitative Algebraic Reasoning
• Combining probabilistic and non-deterministic choice via weak distributive laws
• Complete axiomatization for the total variation distance of Markov chains
• Deciding probabilistic bisimilarity distance one for probabilistic automata
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (11)

• Title not available (Why is that?)
• Algebraic presentation of semifree monads
• A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
• Up-to techniques for behavioural metrics via fibrations
• Sum and tensor of quantitative effects
• Title not available (Why is that?)
• Beyond nonexpansive operations in quantitative algebraic reasoning
• Varieties of quantitative algebras and their monads
• From probability monads to commutative effectuses
• Monads for measurable queries in probabilistic databases
• Title not available (Why is that?)

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

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