Tânia Saraiva de Melo Pinheiro, Paulo Roberto Freire Cunha. Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos. In Paulo César Masiero, Antonio C. Lirani, Marcos R. S. Borges, Tadao Takahashi, editors, Proceedings of the 4th Brazilian Symposium on Software Engineering, SBES 1990, Águas de São Pedro, SP, Brazil, October 24-26, 1990. pages 14-29, SBC, 1990. [doi]
Abstract is missing.