Graph Grammars for the Specification of Concurrent Systems

Leila Ribeiro 0001, Martin Korff. Graph Grammars for the Specification of Concurrent Systems. In Marcos Borges, Antônio Mauro Barbosa de Oliveira, editors, Proceedings of the 11th Brazilian Symposium on Software Engineering, SBES 1997, Recife, PE, Brazil, October 15-17, 1997. pages 199-214, SBC, 1997. [doi]

Abstract

Abstract is missing.