The following pages link to (Q4992498):
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)
- Bisimulation for probabilistic transition systems: A coalgebraic approach (Q1960528) (← links)
- The metric linear-time branching-time spectrum on nondeterministic probabilistic processes (Q1989321) (← links)
- Probabilistic divide \& congruence: branching bisimilarity (Q2007735) (← links)
- Unwinding biological systems (Q2348024) (← links)
- A general SOS theory for the specification of probabilistic transition systems (Q2629851) (← links)
- Leveraging weighted automata in compositional reasoning about concurrent probabilistic systems (Q2819835) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- The Complexity of Synthesis from Probabilistic Components (Q3449469) (← links)
- (Q4536612) (← links)
- (Q4553277) (← links)
- Sound approximate and asymptotic probabilistic bisimulations for PCTL (Q6135748) (← links)
- Back to the format: a survey on SOS for probabilistic processes (Q6151619) (← links)