Search Results for author: Thierry Boy de la Tour

Found 2 papers, 0 papers with code

Parallelism Theorem and Derived Rules for Parallel Coherent Transformations

no code implementations8 Jul 2019 Thierry Boy de la Tour

An Independent Parallelism Theorem is proven in the theory of adhesive HLR categories.

valid

True Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans

no code implementations17 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.

Cannot find the paper you are looking for? You can Submit a new open access paper.