The following pages link to Generalized Bisimulation Metrics (Q3190107):
Displaying 20 items.
- A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces (Q831141) (← links)
- SOS specifications for uniformly continuous operators (Q1678172) (← links)
- Fibrational bisimulations and quantitative reasoning (Q1798795) (← links)
- How adaptive and reliable is your program? (Q2117013) (← links)
- A quantified coalgebraic van Benthem theorem (Q2233433) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Differential logical relations. II: Increments and derivatives (Q2664934) (← links)
- Model checking differentially private properties (Q2680992) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- Bisimulations between generalized Veltman models and Veltman models (Q3520227) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- (Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras (Q5009455) (← links)
- (Q5089308) (← links)
- Differential logical relations, Part I: The simply-typed case (Q5091273) (← links)
- (Q5094125) (← links)
- (Q5094149) (← links)
- Asymmetric Distances for Approximate Differential Privacy (Q5875371) (← links)
- A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
- Logical foundations of quantitative equality (Q6649445) (← links)
