PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Bolognesi T. LOTOS-like composition of boolean nets and causal set construction. Joost-Pieter Katoen, Rom Langerak, Arend Rensink (eds.). (Lecture Notes in Computer Science, vol. 10500). Switzerland: Springer, 2017.
 
 
Abstract
(English)
In the context of research efforts on causal sets as discrete models of physical spacetime, and on their derivation from simple, deterministic, sequential models of computation, we consider boolean nets, a transition system that generalises cellular automata, and investigate the family of causal sets that derive from their computations, in search for interesting emergent properties. The choice of boolean nets is motivated by the fact that they naturally support compositions via a LOTOS-inspired parametric parallel operator, with possible interesting effects on the emergent structure of the derived causal sets. More generally, we critically reconsider the whole issue of algorithmic causet construction and expose the limitations suffered by these structures w.r.t. to the requirements of Lorentz invariance that even discrete models of physical spacetime, as recently shown, can and should satisfy. We conclude by hinting at novel ways to add momentum to the bold research programme that attempts to identify the natural with the computational universe.
URL: http://https://link.springer.com/chapter/10.1007/978-3-319-68270-9_2
DOI: 10.1007/978-3-319-68270-9_2
Subject LOTOS, parallel composition, causal set, discrete spacetime
F1.1 Models of Computation
68Q01 Theory of computing. General


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional