Pages that link to "Item:Q5326311"
From MaRDI portal
The following pages link to The Quest for Minimal Quotients for Probabilistic Automata (Q5326311):
Displaying 8 items.
- Deciding probabilistic automata weak bisimulation: theory and practice (Q282105) (← links)
- Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours (Q1633345) (← links)
- The quest for minimal quotients for probabilistic and Markov automata (Q1784955) (← links)
- Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states (Q2252526) (← links)
- Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC (Q2633503) (← links)
- On Abstraction of Probabilistic Systems (Q2937733) (← links)
- Computing Behavioral Relations for Probabilistic Concurrent Systems (Q2937734) (← links)
- Performance preserving equivalence for stochastic process algebra dtsdPBC (Q6587404) (← links)
