Pages that link to "Item:Q3012929"
From MaRDI portal
The following pages link to On the Semantics of Markov Automata (Q3012929):
Displaying 6 items.
- Polynomial time decision algorithms for probabilistic automata (Q498403) (← links)
- The quest for minimal quotients for probabilistic and Markov automata (Q1784955) (← links)
- Exploring probabilistic bisimulations. I (Q1941884) (← links)
- Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states (Q2252526) (← links)
- Relating reasoning methodologies in linear logic and process algebra (Q5741581) (← links)
- The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism (Q5919051) (← links)
