Pages that link to "Item:Q2576570"
From MaRDI portal
The following pages link to A computer checked algebraic verification of a distributed summation algorithm (Q2576570):
Displaying 5 items.
- Focus points and convergent process operators: A proof strategy for protocol verification (Q1349249) (← links)
- A mechanical proof of Segall's PIF algorithm (Q1362774) (← links)
- Sumcheck arguments and their applications (Q2120101) (← links)
- Algebraic process verification. (Q2760254) (← links)
- The parallel composition of uniform processes with data (Q5958772) (← links)