Simpler Proofs for Concurrent Reading and Writing

Collections
Computer Science Technical Reports
Author
Schneider, Fred B.
Abstract

Simplified proofs are given for Lamport's protocol to coordinate concurrent reading and writing.

Date Issued
1989-09
Publisher
Cornell University
Keywords
•
Previously Published as
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR89-1037
Type
technical report