Proof — TCP/IP protocol

Statement

Internet protocols; TCP/IP. Proved in ZFC.

Source

ACM Turing Award 2004. Internet protocols; TCP/IP. Proved in ZFC.

Domains

computer-science

People

Related

Explore

Canonical: https://axiom.tanaakk.com/proof/kahn-turing-2004/