The following pages link to (Q4417860):
Displaying 8 items.
- Metrics for labelled Markov processes (Q596029) (← links)
- Approximate bisimulation: a bridge between computer science and control theory (Q693690) (← links)
- Domain theory, testing and simulation for labelled Markov processes (Q1770416) (← links)
- Proving approximate implementations for probabilistic I/O automata (Q2864525) (← links)
- A Duality Theorem for Real C * Algebras (Q2888494) (← links)
- On Bisimilarity and Substitution in Presence of Replication (Q3587460) (← links)
- Approximating Markov Processes by Averaging (Q5895176) (← links)
- (Towards a) statistical probabilistic lazy lambda calculus (Q6612804) (← links)