3 citations · 17 across the 14 of their papers we have counts for
Showing 2010Show all
2 papers · 1 filter
cs.LO2010★ 1 cited
Resource-Bound Quantification for Graph Transformation
Paolo Torrini, Reiko Heckel
Graph transformation has been used to model concurrent systems in software engineering, as well as in biochemistry and life sciences. The application of a transformation rule can b…
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…