Res Publica: The universal model of computation

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

We proffer a model of computation that encompasses a broad variety of contemporary generic models, such as cellular automata - including dynamic ones, and abstract state machines - incorporating, as they do, interaction and parallelism. We ponder what it means for such an intertwined system to be effective and note that the suggested framework is ideal for representing continuous-time and asynchronous systems.

Original languageEnglish
Title of host publicationLeibniz International Proceedings in Informatics, LIPIcs
EditorsSimona Ronchi Della Rocca
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Pages5-10
Number of pages6
ISBN (Electronic)9783939897606
DOIs
StatePublished - 1 Sep 2013
Event22nd Annual Conference of the European Association for Computer Science Logic EACSL, CSL 2013 - Torino, Italy
Duration: 2 Sep 20135 Sep 2013

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume23
ISSN (Print)1868-8969

Conference

Conference22nd Annual Conference of the European Association for Computer Science Logic EACSL, CSL 2013
Country/TerritoryItaly
CityTorino
Period2/09/135/09/13

Keywords

  • Abstract state machines
  • Causal dynamics
  • Cellular automata
  • Interaction
  • Models of computation

Fingerprint

Dive into the research topics of 'Res Publica: The universal model of computation'. Together they form a unique fingerprint.

Cite this