Turing meets Milner
Presented at the International Conference on Concurrency Theory, Newcastle, UK
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.
|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.