Turing meets Milner

J.C.M. Baeten, S.P. Luttik, P.J.A. Tilburg, van

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)

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.
Original languageEnglish
Title of host publicationCONCUR 2012 - Concurrency Theory (23rd International Conference on Concurrency Theory, Newcastle upon Tyne, UK, September 3-8, 2012. Proceedings)
EditorsM. Koutny, I. Ulidowski
Place of PublicationBerlin
PublisherSpringer
Pages1-20
ISBN (Print)978-3-642-32939-5
DOIs
Publication statusPublished - 2012
Eventconference; 23rd International Conference on Concurrency Theory (CONCUR 2012) -
Duration: 1 Jan 2012 → …

Publication series

NameLecture Notes in Computer Science
Volume7454
ISSN (Print)0302-9743

Conference

Conferenceconference; 23rd International Conference on Concurrency Theory (CONCUR 2012)
Period1/01/12 → …
Other23rd International Conference on Concurrency Theory (CONCUR 2012)

Fingerprint Dive into the research topics of 'Turing meets Milner'. Together they form a unique fingerprint.

  • Cite this

    Baeten, J. C. M., Luttik, S. P., & Tilburg, van, P. J. A. (2012). Turing meets Milner. In M. Koutny, & I. Ulidowski (Eds.), CONCUR 2012 - Concurrency Theory (23rd International Conference on Concurrency Theory, Newcastle upon Tyne, UK, September 3-8, 2012. Proceedings) (pp. 1-20). (Lecture Notes in Computer Science; Vol. 7454). Springer. https://doi.org/10.1007/978-3-642-32940-1_1