Publication
Publication
The Concurrent Reading and Writing of Clocks
Publication
A Completeness Theorem for TLA
Publication
The Mutual Exclusion Problem Has Been Solved
Publication
A Theorem on Atomicity in Distributed Algorithms
Publication