@inproceedings{9d30719393f34882b44e142087600940,
title = "Res Publica: The universal model of computation",
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.",
keywords = "Abstract state machines, Causal dynamics, Cellular automata, Interaction, Models of computation",
author = "Nachum Dershowitz",
note = "Publisher Copyright: {\textcopyright} Nachum Dershowitz.; 22nd Annual Conference of the European Association for Computer Science Logic EACSL, CSL 2013 ; Conference date: 02-09-2013 Through 05-09-2013",
year = "2013",
month = sep,
day = "1",
doi = "10.4230/LIPIcs.CSL.2013.5",
language = "אנגלית",
series = "Leibniz International Proceedings in Informatics, LIPIcs",
publisher = "Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing",
pages = "5--10",
editor = "{Della Rocca}, {Simona Ronchi}",
booktitle = "Leibniz International Proceedings in Informatics, LIPIcs",
}