Multiparty session types can be used to model and implement the TCP transport layer protocol, providing a formal specification and type-safe implementation.
