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.
Autor principal: | |
---|---|
Outros Autores: | |
Formato: | Tese |
Idioma: | eng |
Publicado em: |
Massachusetts Institute of Technology
2005
|
Assuntos: | |
Acesso em linha: | http://hdl.handle.net/1721.1/14263 |
Resumo: | Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990. |
---|