activity
20202026
most citedA Precedence-Driven Approach for Concurrent Model Synchronization Scenarios using Triple Graph Grammars

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

collaborators
Showing math.CTShow all

1 paper · 1 filter

math.CT2026

A Nesting-Free Normal Form for Nested Conditions in Finite Lattices of Subgraphs

Jens Kosiol, Steffen Zschaler

We present a nesting-free normal form for the formalism of nested conditions and constraints in the context of finite lattices of subgraphs.