Robert Ennals. Controlled Temporal Non-Determinism for Reasoning with a Machine of Finite Speed. In Matthias Felleisen, Paul Hudak, Christian Queinnec, editors, Proceedings of the third ACM SIGPLAN international conference on Functional programming. pages 339, ACM, Baltimore, Maryland, United States, 1998. [doi]
Abstract is missing.