CARVALHO, Osvaldo S. F.; DI IORIO, Vladimir O.. Derivação Formal de Estruturas Distribuídas. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 6. , 1994, Caxambu. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1994 . p. 21-35. DOI: https://doi.org/10.5753/sbac-pad.1994.21874.