@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",

}