Correctness proofs of the Peterson-Fischer mutual exclusion algorithms
Name
20972454-MIT.pdf
Description
Full printable version
Size
1.45 MB
Format
Adobe PDF
Checksum (MD5)
a73c5cc94d7d0d6cbe1cb8929f3d1425
Author(s)
Colby, Christopher P
Advisor(s)
Nancy A. Lynch.
Date Issued
1989
Publisher
Massachusetts Institute of Technology
Description
Thesis (B.S.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 1989.
Includes bibliographical references (leaf 35).
Subjects
Electrical Engineering and Computer Science.
MIT Department
Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science
Terms of Use
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.
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.
Persistent DSpace Link
