5 citations · 5 across the 4 of their papers we have counts for
5 papers
Causal graph rewriting
Pablo Arrighi, Marin Costes, Luidnel Maignan
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…
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…
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…
Addressable quantum gates
Pablo Arrighi, Christopher Cedzich, Marin Costes +2
We extend the circuit model of quantum computation so that the wiring between gates is soft-coded within registers inside the gates. The addresses in these registers can be manipul…
Universal gauge-invariant cellular automata
Pablo Arrighi, Marin Costes, Nathanaël Eon
Gauge symmetries play a fundamental role in Physics, as they provide a mathematical justification for the fundamental forces. Usually, one starts from a non-interactive theory whic…