The following pages link to (Q5111636):
Displaying 11 items.
- (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
- Steps and traces (Q1798791) (← 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)
