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'']
- Abstract:
-
The abstact is not available. Please see the full paper.
- Available as:
-
