Alto and Ethernet
Statement
Personal computer; LAN; cache coherence. Proved in ZFC.
Source
ACM Turing Award 2009. Personal computer; LAN; cache coherence. Proved in ZFC.
Domains
computer-science
Personal computer; LAN; cache coherence. Proved in ZFC.
ACM Turing Award 2009. Personal computer; LAN; cache coherence. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/theorem/thacker-turing-2009/