Voltar aos Detalhes do Artigo
Um arcabouço em TLA+ para especificação e verificação de algoritmos distribuídos usando o modelo Heard-Of
Baixar
##common.downloadPdf##