Pages that link to "Item:Q2796260"
From MaRDI portal
The following pages link to Safety-liveness exclusion in distributed computing (Q2796260):
Displaying 5 items.
- On the refinement of liveness properties of distributed systems (Q763239) (← links)
- The computational structure of progress conditions and shared objects (Q1988520) (← links)
- Safe ambients: Abstract machine and distributed implementation (Q2581541) (← links)
- Progress-Space Tradeoffs in Single-Writer Memory Implementations (Q3300806) (← links)
- A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms (Q5370906) (← links)