2 citations · 4 across the 2 of their papers we have counts for
2 papers
cs.LO2014★ 2 cited
AGREE -- Algebraic Graph Rewriting with Controlled Embedding (Long Version)
Anadrea Corradini, Dominique Duval, Rachid Echahed +2
The several algebraic approaches to graph transformation proposed in the literature all ensure that if an item is preserved by a rule, so are its connections with the context graph…
cs.LO2010★ 2 cited
Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars
Rodrigo Machado, Reiko Heckel, Leila Ribeiro
Aspect-orientation is a relatively new paradigm that introduces abstractions to modularize the implementation of system-wide policies. It is based on a composition operation, calle…