Pages that link to "Item:Q1276521"
From MaRDI portal
The following pages link to On the correctness of parallel algorithms (Q1276521):
Displaying 7 items.
- Correctness and concurrent complexity of the black-white bakery algorithm (Q736464) (← links)
- Verifying the correctness of parallel logical control algorithms (Q1111014) (← links)
- Analysis of the correctness of a parallel program for set partitioning (Q1276536) (← links)
- (Q3034805) (← links)
- (Q3465202) (← links)
- Parallel Repetition of Computationally Sound Protocols Revisited (Q3596374) (← links)
- (Q4375184) (← links)