User loginNavigation 
What is computation? Concurrency versus Turing's ModelConcurrency is of crucial importance to the science and engineering of computation in part because of the rise of the Internet and manycore architectures. However, concurrency extends computation beyond the conceptual framework of Church, Gandy [1980], Gödel, Herbrand, Kleene [1987], Post, Rosser, Sieg [2008], Turing, etc. because there are effective computations that cannot be performed by Turing Machines. In the Actor model [Hewitt, Bishop and Steiger 1973; Hewitt 2010], computation is conceived as distributed in space where computational devices communicate asynchronously and the entire computation is not in any welldefined state. (An Actor can have information about other Actors that it has received in a message about what it was like when the message was sent.) Turing's Model is a special case of the Actor Model. A Turing Machine can enumerate all the possible executions of a closed system even though it cannot perform them individually. For example, the integers are recursively enumerable even though a nondeterministic Turing Machine has bounded nondeterminism (i.e. there is a bound on the size of integer that can be computed starting on a blank tape by an alwayshalting machine). Proving that a server will actually provide service to its clients depends on unbounded nondeterminism. That's why the semantics of CSP were reversed from bounded nondeterminism [Hoare CSP 1978] to unbounded nondeterminism [Hoare CSP 1985]. See the article at: What is computation? Concurrency versus Turing's Model By Hewitt at 20101123 19:04  LtU Forum  previous forum topic  next forum topic  other blogs  8428 reads

Browse archivesActive forum topics 
Recent comments
39 min 35 sec ago
52 min 24 sec ago
1 hour 3 min ago
1 hour 15 min ago
1 hour 59 min ago
2 hours 37 min ago
5 hours 27 min ago
5 hours 50 min ago
6 hours 3 min ago
8 hours 11 min ago