A Theory of Lazy Imperative Timing
(University of Toronto)
We present a theory of lazy imperative timing.
In John Derrick, Brijesh Dongol and Steve Reeves:
18th Refinement Workshop
(Refine 2018), Oxford, UK, 18th July 2018,
Electronic Proceedings in Theoretical Computer Science
282, pp. 1–9.
Published: 24th October 2018.
Comments and questions to:
For website issues: