Adaptive progress: a gracefully-degrading liveness property
scientific article; zbMATH DE number 5781470