分布式系统中的时间、时钟与事件顺序 1978 · Leslie Lamport Lamport 经典论文：用 happened-before 偏序刻画分布式系统中的事件顺序，并由此引出逻辑时钟、全序排序、互斥算法和物理时钟同步。