分布式系统中的时间、时钟与事件顺序 1978 · Leslie Lamport Lamport 经典论文：用 happened-before 偏序刻画分布式系统中的事件顺序，并由此引出逻辑时钟、全序排序、互斥算法和物理时钟同步。
系统设计中的端到端论证 1984 · J.H. Saltzer, D.P. Reed, D.D. Clark Saltzer、Reed 和 Clark 提出端到端论证：许多功能只有在系统端点处才能被完整正确地实现，低层提供它们通常只应被视为性能优化。