Pages that link to "Item:Q2974795"
From MaRDI portal
The following pages link to Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795):
Displaying 14 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)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- A probabilistic calculus of cyber-physical systems (Q2042728) (← links)
- How adaptive and reliable is your program? (Q2117013) (← links)
- Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986) (← links)
- Differential logical relations. II: Increments and derivatives (Q2664934) (← links)
- Up-To Techniques for Behavioural Metrics via Fibrations (Q5009431) (← links)
- Monads and Quantitative Equational Theories for Nondeterminism and Probability (Q5089294) (← links)
- Compositional weak metrics for group key update (Q5111289) (← links)
- A framework to measure the robustness of programs in the unpredictable environment (Q6135769) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)
- Up-to techniques for behavioural metrics via fibrations (Q6190392) (← links)
