Specification and Analysis of Concurrent Systems Using Object-Based Graph Grammars

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]

Authors

Leila Ribeiro

This author has not been identified. Look up 'Leila Ribeiro' in Google

Fernando Luís Dotti

This author has not been identified. Look up 'Fernando Luís Dotti' in Google