Verigraph

MaRDI QIDQ35504swMATHFDO

Official website https://github.com/Verites/verigraph/tree/Parallel-Independence-Benchmarks

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

Described by source

• The Verigraph system for graph transformation

Cited in

(16)

• APIDiff
• AGG
• On the essence of parallel independence for the double-pushout and sesqui-pushout approaches
• Initial conflicts and dependencies: critical pairs revisited
• Verigraph: a system for specification and analysis of graph grammars
• On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
• Module integration using graph grammars (MIGRATE)
• Henshin
• RuleMerger
• eMoflon
• AGREE
• EMorF
• Granularity of conflicts and dependencies in graph transformation systems
• egg
• CatLib
• MIGRATE

This page was built for software: Verigraph