When Turing meets Milner

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

Research output: Contribution to journalArticleProfessional

33 Downloads (Pure)

Abstract

At CWI and Eindhoven University of Technology in the Netherlands, we enhanced the notion of a computation in the classical theory of computing with the notion of interaction from concurrency theory. In this way, we adapted 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
Pages (from-to)11-12
JournalERCIM News
Volume91
Publication statusPublished - 2012

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

Cite this