Pages that link to "Item:Q1370158"
From MaRDI portal
The following pages link to Peterson's mutual exclusion algorithm revisited (Q1370158):
Displaying 6 items.
- Event-based proof of the mutual exclusion property of Peterson's algorithm (Q271900) (← links)
- A mutual exclusion algorithm with optimally bounded bypasses (Q1044699) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)
- The mutual exclusion problem: part II---Statement and solutions (Q5133678) (← links)
- ZB 2005: Formal Specification and Development in Z and B (Q5703822) (← links)
- The mutual exclusion problem (Q5903450) (← links)