@Inproceedings{EPTCS21.4, author = {Machado, Rodrigo and Heckel, Reiko and Ribeiro, Leila}, year = {2010}, title = {Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars}, editor = {Mackie, Ian and Martins Moreira, Anamaria}, booktitle = {{\rm Proceedings Tenth International Workshop on} Rule-Based Programming, {\rm Brasília, Brazil , 28th June 2009}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {21}, publisher = {Open Publishing Association}, pages = {39-50}, doi = {10.4204/EPTCS.21.4}, }