The following pages link to (Q5111636):
Displaying 15 items.
- Relations into algebras of probabilistic distributions (Q406461) (← links)
- Convex powerdomains. I (Q581432) (← links)
- Integral representation for powers of elements in locally \(m\)-convex algebras and applications (Q1032584) (← links)
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Steps and traces (Q1798791) (← links)
- Convex and linear effect algebras (Q1970536) (← links)
- Termination in Convex Sets of Distributions (Q4558786) (← links)
- (Q5089293) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- (Q5094149) (← links)
- (Q5094151) (← links)
- A trustful monad for axiomatic reasoning with probability and nondeterminism (Q5152658) (← links)
- (Q5155671) (← links)
- (Q5875398) (← links)
- Semialgebras and weak distributive laws (Q6653759) (← links)