Abstracting Timed Preemption with Engines

Christopher T. Haynes, Daniel P. Friedman. Abstracting Timed Preemption with Engines. Computer Languages, Systems \& Structures, 12(2):109-121, 1987.

Abstract

Abstract is missing.