Showing 2024Show all
2 papers · 1 filter
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…
cs.DC2024
Causal Graph Dynamics and Kan Extensions
Luidnel Maignan, Antoine Spicher
On the one side, the formalism of Global Transformations comes with the claim of capturing any transformation of space that is local, synchronous and deterministic. The claim has b…