Pages that link to "Item:Q3000663"
From MaRDI portal
The following pages link to Confluence Reduction for Probabilistic Systems (Q3000663):
Displaying 9 items.
- Confluence reduction for Markov automata (Q507382) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Confluence and convergence in probabilistically terminating reduction systems (Q1671150) (← links)
- Confluence and convergence modulo equivalence in probabilistically terminating reduction systems (Q1726351) (← links)
- Layered reasoning for randomized distributed algorithms (Q1941864) (← links)
- Confluence in probabilistic rewriting (Q2333318) (← links)
- A comparison of confluence and ample sets in probabilistic and non-probabilistic branching time (Q2453113) (← links)
- A coalgebraic representation of reduction by cone of influence (Q2863901) (← links)
- Confluence Reduction for Probabilistic Systems (Q3000663) (← links)