A Graph Rewriting-Based Semantics and Implementation for ρ π

Julie Cailler, Martin Vassor. A Graph Rewriting-Based Semantics and Implementation for ρ π. In Clément Aubert, Luca Roversi, editors, Reversible Computation - 18th International Conference, RC 2026, Turin, Italy, July 9-10, 2026, Proceedings. Volume 16626 of Lecture Notes in Computer Science, pages 239-257, Springer, 2026. [doi]

Abstract

Abstract is missing.