TY  - RPRT
TI  - Reactive Turing Machines
AU  - Jos C. M. Baeten
AU  - Bas Luttik
AU  - Paul van Tilburg
PY  - 2013
UR  - https://arxiv.org/abs/1104.1738
ID  - 1104.1738
ER  -