ETDs @PUC-Rio
| Título: | FOMAL ANALYSIS OF PROTOCOLS AND DISTRIBUTED ALGORITHMS: A BASED-LANGUAGE APPROACH | ||
| Autor(es): |
CARLOS BAZILIO MARTINS |
||
| Orientador (es) : |
EDWARD HERMANN HAEUSLER |
||
| Instituição: | PUC-RIO - PONTIFÍCIA UNIVERSIDADE CATÓLICA DO RIO DE JANEIRO | ||
| Programa: | GRADUATE PROGRAM IN COMPUTER SCIENCE | ||
| Área: | COMPUTER THEORY | ||
| 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: | DISTRIBUTED ALGORITHMS FORMAL SPECIFICATION FORMAL VERIFICATION PROTOCOL |
||
| 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 | ||