También introdujo el algoritmo de la panadería de Lamport para exclusión mutua de múltiples hilos en un computador que requieren los mismos recursos al mismo tiempo.