The following pages link to (Q4472456):
Displaying 7 items.
- Formal correctness of a quadratic unification algorithm (Q877825) (← links)
- Mutual exclusion as a matter of priority (Q1625608) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)
- Under the Hood of the Bakery Algorithm: Mutual Exclusion as a Matter of Priority (Q3460731) (← links)
- (Q4493887) (← links)
- Monotonic Abstraction in Action (Q5505593) (← links)
- A Mechanically Verified AIG-to-BDD Conversion Algorithm (Q5747668) (← links)