A Theory of Lazy Imperative Timing
Author: Eric Hehner
Paper Information
| Title: | A Theory of Lazy Imperative Timing |
| Authors: | Eric Hehner |
| Proceedings: | REFINE REFINE proceedings |
| Editors: | Brijesh Dongol, John Derrick and Steve Reeves |
| Keywords: | lazy, imperative, timing |
| Abstract: | ABSTRACT. We present a theory of lazy imperative timing. |
| Pages: | 9 |
| Talk: | Jul 18 16:30 (Session 129I) |
| Paper: |  |