Correctness proofs of the Peterson-Fischer mutual exclusion algorithms
Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1989.
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | eng |
| Published: |
Massachusetts Institute of Technology
2013
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/80454 |
| _version_ | 1826202607612329984 |
|---|---|
| author | Colby, Christopher P |
| author2 | Nancy A. Lynch. |
| author_facet | Nancy A. Lynch. Colby, Christopher P |
| author_sort | Colby, Christopher P |
| collection | MIT |
| description | Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1989. |
| first_indexed | 2024-09-23T12:10:59Z |
| format | Thesis |
| id | mit-1721.1/80454 |
| institution | Massachusetts Institute of Technology |
| language | eng |
| last_indexed | 2024-09-23T12:10:59Z |
| publishDate | 2013 |
| publisher | Massachusetts Institute of Technology |
| record_format | dspace |
| spelling | mit-1721.1/804542019-04-10T10:37:35Z Correctness proofs of the Peterson-Fischer mutual exclusion algorithms Colby, Christopher P Nancy A. Lynch. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science. Electrical Engineering and Computer Science. Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1989. Includes bibliographical references (leaf 35). by Christopher P. Colby. B.S. 2013-09-12T19:02:29Z 2013-09-12T19:02:29Z 1989 1989 Thesis http://hdl.handle.net/1721.1/80454 20972454 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 35 leaves application/pdf Massachusetts Institute of Technology |
| spellingShingle | Electrical Engineering and Computer Science. Colby, Christopher P Correctness proofs of the Peterson-Fischer mutual exclusion algorithms |
| title | Correctness proofs of the Peterson-Fischer mutual exclusion algorithms |
| title_full | Correctness proofs of the Peterson-Fischer mutual exclusion algorithms |
| title_fullStr | Correctness proofs of the Peterson-Fischer mutual exclusion algorithms |
| title_full_unstemmed | Correctness proofs of the Peterson-Fischer mutual exclusion algorithms |
| title_short | Correctness proofs of the Peterson-Fischer mutual exclusion algorithms |
| title_sort | correctness proofs of the peterson fischer mutual exclusion algorithms |
| topic | Electrical Engineering and Computer Science. |
| url | http://hdl.handle.net/1721.1/80454 |
| work_keys_str_mv | AT colbychristopherp correctnessproofsofthepetersonfischermutualexclusionalgorithms |