Sciweavers

DC
2010
13 years 5 months ago
Adaptive progress: a gracefully-degrading liveness property
We introduce a simple liveness property for shared object implementations that is gracefully degrading depending on the degree of synchrony in each run. This property, called adapt...
Marcos Kawazoe Aguilera, Sam Toueg