Voltar a Detalhes do Artigo Modelização e validação de algoritmos não-determinísticos de sincronização de relógios Transferir Descarregar PDF