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.
|Name||Lecture Notes in Computer Science|
|Conference||conference; 23rd International Conference on Concurrency Theory (CONCUR 2012)|
|Period||1/01/12 → …|
|Other||23rd International Conference on Concurrency Theory (CONCUR 2012)|