The following pages link to (Q2842864):
Displayed 8 items.
- Lumping and reversed processes in cooperating automata (Q291348) (← links)
- Probabilistic weak simulation is decidable in polynomial time (Q1029062) (← links)
- Proportional lumpability and proportional bisimilarity (Q2139185) (← links)
- Extensions of Standard Weak Bisimulation Machinery: Finite-state General Processes, Refinable Actions, Maximal-progress and Time (Q2870192) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
- YMCA (Q5262955) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- (Q5856402) (← links)