activity
20112023
most citedTrue Parallel Graph Transformations: an Algebraic Approach Based on Weak Spans

3 citations · 8 across the 6 of their papers we have counts for

collaborators
Showing math.CTShow all

1 paper · 1 filter

math.CT2019★ 1 cited

Parallelism Theorem and Derived Rules for Parallel Coherent Transformations

Thierry Boy de la Tour

An Independent Parallelism Theorem is proven in the theory of adhesive HLR categories. It shows the bijective correspondence between sequential independent and parallel independent…