TY  - RPRT
TI  - Modeling and Reasoning over Distributed Systems using Aspect-Oriented Graph Grammars
AU  - Rodrigo Machado
AU  - Reiko Heckel
AU  - Leila Ribeiro
PY  - 2010
DO  - 10.4204/eptcs.21.4
UR  - https://arxiv.org/abs/1003.4090
ID  - 1003.4090
ER  -