Time-awareness and proactivity in models of interactive computationDosch, W.; Meriste, Merik; Mõtus, LeoWorkshop on the Foundations of Interactive Computation, Scotland, 20052005 / p. 46-61 https://www.sciencedirect.com/science/article/pii/S157106610505190X