Skip to Main content Skip to Navigation
Conference papers

Reversible Causal Graph Dynamics

Pablo Arrighi 1, 2 Simon Martiel 3, 4 Simon Perdrix 5
1 CANA - Calcul Naturel
LIS - Laboratoire d'Informatique et Systèmes
4 DEDUCTEAM - Deduction modulo, interopérabilité et démonstration automatique
LSV - Laboratoire Spécification et Vérification [Cachan], Inria Saclay - Ile de France
5 CARTE - Theoretical adverse computations, and safety
LORIA - FM - Department of Formal Methods , Inria Nancy - Grand Est
Abstract : Causal Graph Dynamics extend Cellular Automata to arbitrary , bounded-degree, time-varying graphs. The whole graph evolves in discrete time steps, and this global evolution is required to have a number of physics-like symmetries: shift-invariance (it acts everywhere the same) and causality (information has a bounded speed of propagation). We add a further physics-like symmetry, namely reversibility.
Document type :
Conference papers
Complete list of metadata
Contributor : Simon Perdrix <>
Submitted on : Wednesday, September 7, 2016 - 11:53:33 AM
Last modification on : Friday, April 30, 2021 - 9:53:43 AM

Links full text



Pablo Arrighi, Simon Martiel, Simon Perdrix. Reversible Causal Graph Dynamics. Reversible Computation, Jul 2016, Bologna, Italy. pp.73-88, ⟨10.1007/978-3-319-40578-0_5⟩. ⟨hal-01361427⟩



Record views