Return to Article Details Especificação Formal de Sistemas Distribuidos Usando Z e Sistemas de Transição Download Download PDF