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.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2005
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/14263 |
| _version_ | 1826194366327160832 |
|---|---|
| author | Troxel, Gregory D. (Gregory Donald) |
| author2 | Nancy A. Lynch. |
| author_facet | Nancy A. Lynch. Troxel, Gregory D. (Gregory Donald) |
| author_sort | Troxel, Gregory D. (Gregory Donald) |
| collection | MIT |
| description | Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990. |
| first_indexed | 2024-09-23T09:54:53Z |
| format | Thesis |
| id | mit-1721.1/14263 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T09:54:53Z |
| publishDate | 2005 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/142632019-04-11T09:37:21Z A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls Troxel, Gregory D. (Gregory Donald) Nancy A. Lynch. Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science Electrical Engineering and Computer Science Thesis (M.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1990. Includes bibliographical references (leaves 116-117). by Gregory D. Troxel. M.S. 2005-08-10T18:00:05Z 2005-08-10T18:00:05Z 1990 1990 Thesis http://hdl.handle.net/1721.1/14263 22762369 eng M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission. http://dspace.mit.edu/handle/1721.1/7582 117 leaves 10675665 bytes 10675425 bytes application/pdf application/pdf application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science Troxel, Gregory D. (Gregory Donald) A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls |
| title | A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls |
| title_full | A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls |
| title_fullStr | A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls |
| title_full_unstemmed | A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls |
| title_short | A hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls |
| title_sort | hierarchical proof of an algorithm for deadlock recovery in a system using remote procedure calls |
| topic | Electrical Engineering and Computer Science |
| url | http://hdl.handle.net/1721.1/14263 |
| work_keys_str_mv | AT troxelgregorydgregorydonald ahierarchicalproofofanalgorithmfordeadlockrecoveryinasystemusingremoteprocedurecalls AT troxelgregorydgregorydonald hierarchicalproofofanalgorithmfordeadlockrecoveryinasystemusingremoteprocedurecalls |