Technical Report TR178:
C. T. Haynes and D. P. Friedman
An Abstraction of Timed Preemption
[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: