2012-09-01
Turing meets Milner
Publication
Publication
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.
| Additional Metadata | |
|---|---|
| Springer | |
| M. Koutny (Maciej) , I. Ulidowski | |
| Lecture Notes in Computer Science | |
| International Conference on Concurrency Theory | |
| Organisation | Directie |
|
Baeten, J., Luttik, B., & van Tilburg, P. (2012). Turing meets Milner. In M. Koutny & I. Ulidowski (Eds.), Proceedings of International Conference on Concurrency Theory 2012 (pp. 1–21). Springer. |
|
