Implementing TCP Using Multiparty Session Types: Towards Verifiable Transport Layer Protocols

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