Return to Article Details Modelo de Referência para Especificação Formal de Sistemas Operacionais Distribuídos Download Download PDF