A Theory of Lazy Imperative Timing
arXiv:1810.09610 · doi:10.4204/EPTCS.282.1
Abstract
We present a theory of lazy imperative timing.
In Proceedings Refine 2018, arXiv:1810.08739
arXiv:1810.09610 · doi:10.4204/EPTCS.282.1
We present a theory of lazy imperative timing.
In Proceedings Refine 2018, arXiv:1810.08739