collaborators

1 paper

cs.LO2026

Automating Observable Closure Analysis for Graph Transformation Models with MolFoundry

Marcel Friedrichs, Addie Jordon, Juri Kolčák +1

Graph transformations model changing systems, with applications in software, biology and chemistry, among others. We introduce MolFoundry, a graph transformation framework, and pre…