no code implementations • 8 Jul 2019 • Thierry Boy de la Tour
An Independent Parallelism Theorem is proven in the theory of adhesive HLR categories.
no code implementations • 17 Apr 2019 • Thierry Boy de la Tour, Rachid Echahed
We address the problem of defining graph transformations by the simultaneous application of direct transformations even when these cannot be applied independently of each other.