Paper Recommendation
1974 Self-stabilizing Systems in Spite of Distributed Control

1978 Time, Clocks, and The Ordering of Events in A Distributed System

2000 Real-Time Systems

1978 Connection Management in Transport Protocols

1979 Concurrency Control and Consistency of Multiple Copies of Data in Distributed ingres

1985 Synchronizing Large VLSI Processor Arrays

1991 Distributed Shared Memory: A Survey of Issues and Algorithms

1986 Algorithms For Mutual Exclusion

1988 Synchronous Programming of Reactive Systems: An introduction To ESTEREL

1989 An Optimal Synchronizer For The Hypercube

1998 From Centralized Workflow Specification To Distributed WorkflowExecution

1992 What Are Race Conditions?: Some Issues and Formalizations

1987 Reliable Communication in The Presence of Failures

1991 The Contract Model

1996 Real-Time Systems

1985 Synchronizing Clocks in The Presence of Faults

1986 Synchronized Disk interleaving

1991 Wait-free Synchronization

1977 Process Structuring, Synchronization, and Recovery Using atomic Actions

1987 Applications of The Connection Machine