A Theory of Lazy Imperative Timing

We present a theory of lazy imperative timing.

Bibliographic Details
Main Author:	Eric C.R. Hehner
Format:	Article
Language:	English
Published:	Open Publishing Association 2018-10-01
Series:	Electronic Proceedings in Theoretical Computer Science
Online Access:	http://arxiv.org/pdf/1810.09610v1

Internet

http://arxiv.org/pdf/1810.09610v1