Adaptive progress: a gracefully-degrading liveness property

From MaRDI portal
Publication:992505