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…