Reactive Turing Machines.

Jos C. M. Baeten, Bas Luttik, Paul van Tilburg

Browse the full FCT paper archive.