The following pages link to (Q3394898):
Displaying 8 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- Threaded behavior protocols (Q470016) (← links)
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103) (← links)
- Approximating Markovian testing equivalence (Q764291) (← links)
- Product line process theory (Q898612) (← links)
- Moving from interface theories to assembly theories (Q2340257) (← links)
- On the Semantics of Markov Automata (Q3012929) (← links)
- Model Checking Probabilistic Systems (Q3176386) (← links)
