We enhance the notion of a computation of the classical theory of computing with the notion of interaction from concurrency theory. In this way, we enhance a Turing machine as a model of computation to a Reactive Turing Machine that is an abstract model of a computer as it is used nowadays, always interacting with the user and the world.
Additional Metadata
Publisher Springer
Editor M. Koutny (Maciej) , I. Ulidowski
Series Lecture Notes in Computer Science
Conference International Conference on Concurrency Theory
Baeten, J.C.M, Luttik, S.P, & van Tilburg, P.J.A. (2012). Turing meets Milner. In M Koutny & I Ulidowski (Eds.), Proceedings of International Conference on Concurrency Theory 2012 (pp. 1–21). Springer.