Monads and Quantitative Equational Theories for Nondeterminism and Probability
From MaRDI portal
Publication:5089294
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
Cites work
- scientific article; zbMATH DE number 4179333 (Why is no real title available?)
- scientific article; zbMATH DE number 7447772 (Why is no real title available?)
- scientific article; zbMATH DE number 5761737 (Why is no real title available?)
- scientific article; zbMATH DE number 3751028 (Why is no real title available?)
- scientific article; zbMATH DE number 722611 (Why is no real title available?)
- scientific article; zbMATH DE number 3434546 (Why is no real title available?)
- scientific article; zbMATH DE number 1927573 (Why is no real title available?)
- scientific article; zbMATH DE number 1754605 (Why is no real title available?)
- scientific article; zbMATH DE number 1754609 (Why is no real title available?)
- scientific article; zbMATH DE number 1759622 (Why is no real title available?)
- scientific article; zbMATH DE number 6987095 (Why is no real title available?)
- scientific article; zbMATH DE number 7204940 (Why is no real title available?)
- scientific article; zbMATH DE number 7297850 (Why is no real title available?)
- scientific article; zbMATH DE number 7649917 (Why is no real title available?)
- A general account of coinduction up-to
- An algebraic theory of Markov processes
- Axiomatizations for probabilistic finite-state behaviors
- Axiomatizing bisimulation equivalences and metrics from probabilistic SOS rules
- Axioms for probability and nondeterminism
- Bialgebras for structural operational semantics: an introduction
- CONCUR 2005 – Concurrency Theory
- Coalgebraic behavioral metrics
- Coalgebraic trace semantics for combined possibilitistic and probabilistic systems
- Combining probabilistic and non-deterministic choice via weak distributive laws
- Complete axiomatization for the total variation distance of Markov chains
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi
- Continuous Previsions
- Convexity, duality and effects
- Deciding probabilistic bisimilarity distance one for probabilistic automata
- Distributing probability over non-determinism
- Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations
- Labelled Markov processes.
- Notions of computation and monads
- On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems
- Postulates for the barycentric calculus
- Prevision Domains and Convex Powercones
- Quantitative Algebraic Reasoning
- SOS specifications for uniformly continuous operators
- Semantic domains for combining probability and non-determinism
- Up-to techniques for behavioural metrics via fibrations
- Up-to techniques for generalized bisimulation metrics
- Upper-expectation bisimilarity and Łukasiewicz \(\mu \)-calculus
Cited in
(11)- Monads for measurable queries in probabilistic databases
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces
- Beyond nonexpansive operations in quantitative algebraic reasoning
- Varieties of quantitative algebras and their monads
- From probability monads to commutative effectuses
- scientific article; zbMATH DE number 7566077 (Why is no real title available?)
- Algebraic presentation of semifree monads
- scientific article; zbMATH DE number 7566075 (Why is no real title available?)
- scientific article; zbMATH DE number 7559483 (Why is no real title available?)
- Sum and tensor of quantitative effects
- Up-to techniques for behavioural metrics via fibrations
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)
