Reversible causal graph dynamics: invertibility, block representation, vertex-preservation
From MaRDI portal
Publication:6151164
DOI10.1007/s11047-019-09768-0zbMath1530.37027WikidataQ126983835 ScholiaQ126983835MaRDI QIDQ6151164
Simon Martiel, Simon Perdrix, Pablo Arrighi
Publication date: 9 February 2024
Published in: Natural Computing (Search for Journal in Brave)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unitarity plus causality implies localizability
- Algebraic approach to single-pushout graph transformation
- Parallel and distributed derivations in the single-pushout approach
- Graph automata: Natural expression of self-reproduction
- Reversibility of 2D cellular automata is undecidable
- Endomorphisms of symbolic algebraic varieties
- Parallel high-level replacement systems
- Amalgamation of graph transformations: a synchronization mechanism
- Formal molecular biology
- Causal graph dynamics
- Block Representation of Reversible Causal Graph Dynamics
- Deterministic Symmetric Rendezvous in Arbitrary Graphs: Overcoming Anonymity, Failures and Uncertainty
- Causal Graph Dynamics
- Reversible Causal Graph Dynamics
- Representation of reversible cellular automata with block permutations
- Endomorphisms and automorphisms of the shift dynamical system
- Logical Reversibility of Computation
This page was built for publication: Reversible causal graph dynamics: invertibility, block representation, vertex-preservation