Pages that link to "Item:Q2842864"
From MaRDI portal
The following pages link to Revisiting interactive Markov chains (Q2842864):
Displaying 13 items.
- Lumping and reversed processes in cooperating automata (Q291348) (← links)
- Interactive infinite Markov particle systems with jumps (Q357441) (← links)
- On the tradeoff between compositionality and exactness in weak bisimilarity for integrated-time Markovian process calculi (Q481103) (← links)
- Interactive Markov chains. And the quest for quantified quality (Q701689) (← 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)
- A Tutorial on Interactive Markov Chains (Q2937729) (← links)
- On the Minimisation of Acyclic Models (Q3541025) (← links)
- YMCA (Q5262955) (← links)
- Stochastic and Real Time in Process Algebra: A Conceptual Overview (Q5262956) (← links)
- Applying Formal Methods: Testing, Performance, and M/E-Commerce (Q5394041) (← links)
- (Q5856402) (← links)