01
Lamport and Sequential Consistency: Defining What Parallel Memory Should Mean
Leslie Lamport's 1979 definition of sequential consistency gave shared-memory programmers a precise contract: concurrent execution should look like one interleaving that preserves each processor's program order.
↗