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 |