Turing meets Milner

Authors
Publication date 2012
Host editors
  • M. Koutny
  • I. Ulidowski
Book title CONCUR 2012 – Concurrency Theory
Book subtitle 23rd International Conference, CONCUR 2012, Newcastle upon Tyne, UK, September 4-7, 2012 : proceedings
ISBN
  • 9783642329395
ISBN (electronic)
  • 9783642329401
Series Lecture Notes in Computer Science
Event 23rd International Conference on Concurrency Theory, CONCUR 2012
Pages (from-to) 1-20
Number of pages 20
Publisher Heidelberg: Springer
Organisations
  • Faculty of Science (FNWI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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.
Document type Conference contribution
Language English
Published at https://doi.org/10.1007/978-3-642-32940-1_1
Other links https://www.scopus.com/pages/publications/84866713408
Permalink to this page
Back