The following pages link to (Q4222974):
Displaying 4 items.
- Algebraic theory of probabilistic and nondeterministic processes. (Q1400156) (← links)
- A behavioural pseudometric for probabilistic transition systems (Q1770428) (← links)
- Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795) (← links)
- Metric Semantics and Full Abstractness for Action Refinement and Probabilistic Choice (Q4923369) (← links)