Pages that link to "Item:Q1603706"
From MaRDI portal
The following pages link to Testing preorders for probabilistic processes can be characterized by simulations (Q1603706):
Displaying 8 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Testing preorders for probabilistic processes. (Q1854314) (← links)
- Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus (Q1941882) (← links)
- Probabilistic may/must testing: retaining probabilities by restricted schedulers (Q1941883) (← links)
- Characterization of simulation by probabilistic testing (Q2026807) (← links)
- Characterising Testing Preorders for Broadcasting Distributed Systems (Q2811926) (← links)
- Remarks on testing probabilistic processes (Q2864156) (← links)
- Testing probabilistic automata (Q6104379) (← links)