Hostname: page-component-cd9895bd7-q99xh Total loading time: 0 Render date: 2024-12-26T08:31:37.515Z Has data issue: false hasContentIssue false
  • English
  • Français

Foreword to special issue: The difference between concurrent and sequential computation Including selected papers from: EXPRESS'00 – 7th International Workshop on Expressiveness in Concurrency

Published online by Cambridge University Press:  31 July 2003

LUCA ACETO ,
GIUSEPPE LONGO  and
BJÖRN VICTOR
LUCA ACETO
Affiliation:
Aalborg, Denmark
GIUSEPPE LONGO
Affiliation:
Paris, France
BJÖRN VICTOR
Affiliation:
Uppsala, Sweden
Rights & Permissions [Opens in a new window]

Abstract

Core share and HTML view are not available for this content. However, as you have access to this content, a full PDF is available via the ‘Save PDF’ action button.

Computer Science has witnessed the emergence of a plethora of different logics, models and paradigms for the description of computation. Yet, the classic Church–Turing thesis may be seen as indicating that all general models of computation are equivalent. Alan Perlis referred to this as the ‘Turing tarpit’, and argued that some of the most crucial distinctions in computing methodology, such as sequential versus parallel, deterministic versus non-deterministic, local versus distributed disappear if all one sees in computation is pure symbol pushing. How can we express formally the difference between these models of computation?

Type
Foreword
Information
Mathematical Structures in Computer Science , Volume 13 , Issue 4 , August 2003 , pp. 481 - 484
Copyright
2003 Cambridge University Press