Verigraph
From MaRDI portal
Software:35504
No author found.
Source code repository: https://github.com/Verites/verigraph/tree/Parallel-Independence-Benchmarks
Related Items (6)
Module integration using graph grammars (MIGRATE) ⋮ On the essence of parallel independence for the double-pushout and sesqui-pushout approaches ⋮ Initial conflicts and dependencies: critical pairs revisited ⋮ On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems ⋮ Verigraph: a system for specification and analysis of graph grammars ⋮ Granularity of Conflicts and Dependencies in Graph Transformation Systems
This page was built for software: Verigraph