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. |
|---|