Preprint
Sep 2026
Causal graph rewriting
We introduce causal graph rewriting, a model of computation in which local rules are applied on directed acyclic graphs in an asynchronous manner. The non-determinism arising from asynchrony is disciplined by the oriented edges, which must be understood as both computational dependencies and locality constraints---and...
P. Arrighi, Marin Costes, Luidnel Maignan
· 0 citations