Proof — Distributed systems
Statement
Workstations; security; document systems. Proved in ZFC.
Source
ACM Turing Award 1992. Workstations; security; document systems. Proved in ZFC.
Domains
computer-science
Workstations; security; document systems. Proved in ZFC.
ACM Turing Award 1992. Workstations; security; document systems. Proved in ZFC.
computer-science
Canonical: https://axiom.tanaakk.com/proof/lampson-turing-1992/