A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls

Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990.

Detalhes bibliográficos
Autor principal: Troxel, Gregory D. (Gregory Donald)
Outros Autores: Nancy A. Lynch.
Formato: Tese
Idioma:eng
Publicado em: Massachusetts Institute of Technology 2005
Assuntos:
Acesso em linha:http://hdl.handle.net/1721.1/14263
Descrição
Resumo:Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990.