Leila Ribeiro, Fernando Luís Dotti. Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars. In 2011 Workshop-School on Theoretical Computer Science, WEIT 2011, Pelotas, Brazil, August 24-26, 2011. pages 15-20, IEEE Computer Society, 2011. [doi]
Abstract is missing.