Leslie Lamport vant i 2013 Turing-prisen for å finne frem til klart definerte sammenhenger ved den tilsynelatende kaotiske oppførselen til distribuerte databehandlingssystemer. Han utarbeidet viktige algoritmer, utviklet formelle modeller og verifiserte protokoller som forbedret kvaliteten på distribuerte databehandlingssystemer. Disse bidragene har resultert i forbedret nøyaktighet, ytelse og stabilitet for datasystemer.