Res Publica: The Universal Model of Computation (Invited Talk)

Dershowitz, Nachum

doi:10.4230/LIPIcs.CSL.2013.5

Document

Res Publica: The Universal Model of Computation (Invited Talk)

Author Nachum Dershowitz

Part of: Volume: Computer Science Logic 2013 (CSL 2013)
Part of: Series: Leibniz International Proceedings in Informatics (LIPIcs)
Part of: Conference: Computer Science Logic (CSL)
License: Creative Commons Attribution 3.0 Unported license
Publication Date: 2013-09-02

PDF

File

PDF

LIPIcs.CSL.2013.5.pdf

Filesize: 374 kB
6 pages

Document Identifiers

DOI: 10.4230/LIPIcs.CSL.2013.5
URN: urn:nbn:de:0030-drops-41844

Subject Classification

Keywords

Models of computation
cellular automata
abstract state machines
causal dynamics
interaction

Metrics

Access Statistics
Total Accesses (updated on a weekly basis)

0

PDF Downloads

0

Metadata Views

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.

Cite As Get BibTex

Nachum Dershowitz. Res Publica: The Universal Model of Computation (Invited Talk). In Computer Science Logic 2013 (CSL 2013). Leibniz International Proceedings in Informatics (LIPIcs), Volume 23, pp. 5-10, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2013) https://doi.org/10.4230/LIPIcs.CSL.2013.5

Author Details

Nachum Dershowitz

Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail