Verigraph

swMATH23736MaRDI QIDQ35504FDOQ35504

Author name not available (Why is that?)

Source code repository: https://github.com/Verites/verigraph/tree/Parallel-Independence-Benchmarks

Described by source

• The Verigraph system for graph transformation

Cited In (6)

• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Module integration using graph grammars (MIGRATE)
• Verigraph: a system for specification and analysis of graph grammars
• Granularity of Conflicts and Dependencies in Graph Transformation Systems
• Initial conflicts and dependencies: critical pairs revisited
• On the essence of parallel independence for the double-pushout and sesqui-pushout approaches

This page was built for software: Verigraph