Leila Ribeiro 0001, Hartmut Ehrig, Julia Padberg. Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations. In Julio César Sampaio do Prado Leite, Ana Regina Cavalcanti da Rocha, Claudia Motta, Marcelo Gattass, Pedro Manoel da Silveira, Roberto Antonio Rodrigues de Almeida, editors, Proceedings of the 7th Brazilian Symposium on Software Engineering, SBES 1993, Rio de Janeiro, RJ, Brazil, October 27-29, 1993. pages 1-16, SBC, 1993. [doi]
Abstract is missing.