Pages that link to "Item:Q3184684"
From MaRDI portal
The following pages link to Partial Order Reduction for Probabilistic Systems: A Revision for Distributed Schedulers (Q3184684):
Displaying 6 items.
- Stuttering for abstract probabilistic automata (Q2436515) (← links)
- Distributed probabilistic input/output automata: expressiveness, (un)decidability and algorithms (Q2453112) (← links)
- A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time (Q2453113) (← links)
- A General Framework for Probabilistic Characterizing Formulae (Q2891432) (← links)
- Confluence Reduction for Probabilistic Systems (Q3000663) (← links)
- Stuttering for Abstract Probabilistic Automata (Q3455842) (← links)