A Theory of Lazy Imperative Timing
Eric C.R.
Hehner
(University of Toronto)
We present a theory of lazy imperative timing.
In John Derrick, Brijesh Dongol and Steve Reeves:
Proceedings
18th Refinement Workshop
(Refine 2018), Oxford, UK, 18th July 2018,
Electronic Proceedings in Theoretical Computer Science
282, pp. 1–9.
Published: 24th October 2018.
ArXived
at:
https://dx.doi.org/10.4204/EPTCS.282.1
bibtex
PDF
References in
reconstructed bibtex
,
XML
and
HTML
format (approximated).
Comments and questions to:
eptcs@eptcs.org
For website issues:
webmaster@eptcs.org