Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts

Peter E. Lauer, M. W. Shields. Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts. SIGPLAN Notices, 13(12):41-59, 1978. [doi]

Abstract

Abstract is missing.