Pages that link to "Item:Q5410682"
From MaRDI portal
The following pages link to Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus (Q5410682):
Displaying 14 items.
- An expansion of basic logic with fixed points (Q1699729) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- Termination in Convex Sets of Distributions (Q4558786) (← links)
- Converging from branching to linear metrics on Markov chains (Q4559599) (← links)
- Convexity via Weak Distributive Laws (Q5060194) (← links)
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (Q5079754) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- (Q5094116) (← links)
- (Q5094151) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- (Q5111636) (← links)
- (Q5155671) (← links)
- (Q5214813) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)
