The following pages link to Confluence for process verification (Q672042):
Displayed 22 items.
- Sequential and distributed on-the-fly computation of weak tau-confluence (Q436408) (← links)
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Confluence reduction for Markov automata (Q507382) (← links)
- Using bisimulation proof techniques for the analysis of distributed abstract machines (Q935472) (← links)
- Formal verification of a leader election protocol in process algebra (Q1391796) (← links)
- Analysis of a distributed system for lifting trucks. (Q1400154) (← links)
- Weak confluence and \(\tau\)-inertness (Q1575263) (← links)
- Compositional verification of concurrent systems by combining bisimulations (Q2147689) (← links)
- Cartesian difference categories (Q2200813) (← links)
- Exponential automatic amortized resource analysis (Q2200835) (← links)
- Characteristic bisimulation for higher-order session processes (Q2357655) (← links)
- A theory for observational fault tolerance (Q2643332) (← links)
- Compositional State Space Reduction Using Untangled Actions (Q2866342) (← links)
- Confluence Reduction for Probabilistic Systems (Q3000663) (← links)
- On the Origin of Events: Branching Cells as Stubborn Sets (Q3011891) (← links)
- (Q3385650) (← links)
- On confluence in the π-calculus (Q4571963) (← links)
- Consistently-detecting monitors (Q5111620) (← links)
- Sharp Congruences Adequate with Temporal Logics Combining Weak and Strong Modalities (Q5164168) (← links)
- Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems (Q5164176) (← links)
- Recursive equations in higher-order process calculi (Q5958778) (← links)
- Equivalence checking 40 years after: a review of bisimulation tools (Q6163887) (← links)