The following pages link to (Q5858729):
Displaying 5 items.
- A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences (Q384933) (← links)
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103) (← links)
- Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
- Proportional lumpability and proportional bisimilarity (Q2139185) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395119) (← links)