Pages that link to "Item:Q3809243"
From MaRDI portal
The following pages link to A distributed deadlock detection and resolution algorithm and its correctness proof (Q3809243):
Displaying 5 items.
- Resolving all deadlocks in distributed systems (Q672659) (← links)
- A class of deadlock-free Maekawa-type algorithms for mutual exclusion in distributed systems (Q757018) (← links)
- Robustness of deadlock avoidance algorithms for sequential processes. (Q1413928) (← links)
- (Q3047719) (← links)
- A fast distributed deadlock- detection algorithm for hypercube (Q3806795) (← links)