The following pages link to (Q4806211):
Displaying 12 items.
- Sequential and distributed on-the-fly computation of weak tau-confluence (Q436408) (← links)
- Confluence reduction for Markov automata (Q507382) (← links)
- A linear process-algebraic format with data for probabilistic automata (Q764285) (← links)
- Cones and foci: A mechanical framework for protocol verification (Q853730) (← links)
- Zero, successor and equality in BDDs (Q1772774) (← 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)
- Compositional state space reduction using untangled actions (Q2866342) (← links)
- Good to know about the efficiency of state space methods (Q2866408) (← links)
- Confluence Reduction for Probabilistic Systems (Q3000663) (← links)
- State Space Reduction of Linear Processes Using Control Flow Reconstruction (Q3648690) (← links)
- Algebraic Methodology and Software Technology (Q5312978) (← links)