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.

Authors

Christopher T. Haynes

This author has not been identified. Look up 'Christopher T. Haynes' in Google

Daniel P. Friedman

This author has not been identified. Look up 'Daniel P. Friedman' in Google