Ph. Darondeau
-
Reactive turing machines
FCT'11 Proceedings of the 18th international conference on Fundamentals of computation theory
Reactive Turing machines
Information and Computation