@inproceedings{574b3dc3f69b459ca16e57a80f4087ba,
title = "Turing meets Milner",
abstract = "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.",
author = "J.C.M. Baeten and S.P. Luttik and \{Tilburg, van\}, P.J.A.",
year = "2012",
doi = "10.1007/978-3-642-32940-1\_1",
language = "English",
isbn = "978-3-642-32939-5",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "1--20",
editor = "M. Koutny and I. Ulidowski",
booktitle = "CONCUR 2012 - Concurrency Theory (23rd International Conference on Concurrency Theory, Newcastle upon Tyne, UK, September 3-8, 2012. Proceedings)",
address = "Germany",
note = "conference; 23rd International Conference on Concurrency Theory (CONCUR 2012) ; Conference date: 01-01-2012",
}