The following pages link to (Q4536610):
Displaying 8 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Non-bisimulation-based Markovian behavioral equivalences (Q2373649) (← links)
- Comparative branching-time semantics for Markov chains (Q2387196) (← links)
- Determining asynchronous test equivalence for probabilistic processes (Q2671816) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
- Markovian Testing and Trace Equivalences Exactly Lump More Than Markovian Bisimilarity (Q5262954) (← links)
- Performance-Oriented Comparison of Web Services Via Client-Specific Testing Preorders (Q5428916) (← links)
