Logo PUC-Rio Logo Maxwell
ETDs @PUC-Rio
Título: ANÁLISE FORMAL DE PROTOCOLOS E ALGORITMOS DISTRIBUÍDOS: UMA ABORDAGEM BASEADA EM LINGUAGEM
Autor(es): CARLOS BAZILIO MARTINS
Orientador (es) : EDWARD HERMANN HAEUSLER
Instituição: PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO
Programa: PPG EM INFORMÁTICA
Área: TEORIA DA COMPUTAÇÃO
Banca: MARKUS ENDLER - PUC-RIO
CHRISTIANO DE OLIVEIRA BRAGA - UFF
EDWARD HERMANN HAEUSLER - PUC-RIO
RENATO FONTOURA DE GUSMAO CERQUEIRA - PUC-RIO
MARIO ROBERTO F BENEVIDES - UFRJ
RAIMUNDO JOSE DE ARAUJO MACEDO - UFBA
Vocabulário: ALGORITIMOS DISTRIBUIDOS
ESPECIFICACAO FORMAL
PROTOCOLO
VERIFICACAO FORMAL
Apresentação: 09/SET/2005
Aceitação: 09/SET/2005
Sistema de Biblioteca: PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO-SISTEMA PERGAMUM
Número de Chamada: 004 M386an