2 papers
cs.DM2025
Space-time reversible graph rewriting
Pablo Arrighi, Marin Costes, Luidnel Maignan
In the mathematical tradition, reversibility requires that the evolution of a dynamical system be a bijective function. In the context of graph rewriting, however, the evolution is…
cs.DM2024
Space-time deterministic graph rewriting
Pablo Arrighi, Marin Costes, Gilles Dowek +1
We study non-terminating graph rewriting models, whose local rules are applied non-deterministically -- and yet enjoy a strong form of determinism, namely space-time determinism. O…