The following pages link to (Q5151036):
Displaying 4 items.
- Algebraic theory of probabilistic processes. (Q1400293) (← links)
- Approximate analyzing of labeled transition systems (Q1667079) (← links)
- Testing equivalence for mobile processes (Q1898467) (← links)
- Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)