Premio Turing: differenze tra le versioni

| Per la progettazione e la realizzazione pioneristicapionieristica del primo personal computer moderno - lo [[Xerox Alto]] - e per le invenzioni ed i contributi alle reti locali (compresa l'Ethernet), le workstation multiprocessore, per gli studi sulla coerenza dei protocolli cache e per i [[Tablet PC]]

|Per i contributi pioneristicipionieristici nello studio dell'affidabilità e della consistenza dei sistemi di calcolo: "per i suoi contributi fondamentali alla teoria e alla pratica dei sistemi [[Calcolo distribuito|distribuiti]] e [[Programmazione concorrente|concorrenti]], in particolare per l'invenzione di concetti quali causalità, orologi logici, ''safety'' e ''liveness'', le ''replicated state machines'', e la consistenza sequenziale<ref>