When Turing meets Milner

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

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelProfessioneel

36 Downloads (Pure)

Samenvatting

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.
Originele taal-2Engels
Pagina's (van-tot)11-12
TijdschriftERCIM News
Volume91
StatusGepubliceerd - 2012

Vingerafdruk

Duik in de onderzoeksthema's van 'When Turing meets Milner'. Samen vormen ze een unieke vingerafdruk.

Citeer dit