Indiana University Bloomington

Luddy School of Informatics, Computing, and Engineering

Technical Report TR178:
An Abstraction of Timed Preemption

C. T. Haynes and D. P. Friedman
(Aug 1985)
[Revised version appeared in Computer Languages Vol. 12, No. 2, (1987), 109--121, under the title, ``Abstracting Timed Preemption with Engines'']
The abstact is not available. Please see the full paper.

Available as: