1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.PL2024★ 1 cited
Session Types for the Transport Layer: Towards an Implementation of TCP
Samuel Cavoj, Ivan Nikitin, Colin Perkins +1
Session types are a typing discipline used to formally describe communication-driven applications with the aim of fewer errors and easier debugging later into the life cycle of the…
cs.NI2024
Measuring NAT64 Usage in the Wild
Elizabeth Boswell, Stephen McQuistin, Colin Perkins +1
NAT64 is an IPv6 transition mechanism that enables IPv6-only hosts to access the IPv4 Internet. Understanding the deployment of NAT64, and its performance impact, is crucial to the…