Pages that link to "Item:Q1362774"
From MaRDI portal
The following pages link to A mechanical proof of Segall's PIF algorithm (Q1362774):
Displaying 4 items.
- The verified incremental design of a distributed spanning tree algorithm: Extended abstract (Q1125687) (← links)
- An assertional proof of Rana's algorithm (Q1318748) (← links)
- Verifying a simplification of mutual exclusion by Lycklama-Hadzilacos (Q2377304) (← links)
- A computer checked algebraic verification of a distributed summation algorithm (Q2576570) (← links)