swMATH23736MaRDI QIDQ35504FDOQ35504
Author name not available (Why is that?)
Official website: https://github.com/Verites/verigraph/tree/Parallel-Independence-Benchmarks
Source code repository: https://github.com/Verites/verigraph/tree/Parallel-Independence-Benchmarks
Cited In (16)
- On the essence and initiality of conflicts in \(\mathcal{M} \)-adhesive transformation systems
- MIGRATE
- CatLib
- Granularity of conflicts and dependencies in graph transformation systems
- Module integration using graph grammars (MIGRATE)
- Verigraph: a system for specification and analysis of graph grammars
- AGG
- Henshin
- RuleMerger
- AGREE
- eMoflon
- EMorF
- egg
- APIDiff
- 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
