The following pages link to (Q4536610):
Displayed 4 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Non-bisimulation-based Markovian behavioral equivalences (Q2373649) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders (Q5428916) (← links)