Samuel Cavoj

Publication Activity (10 Years)

Years Active: 2024-2024
Publications (10 Years): 1

Top Topics

Computational Complexity

Transport Layer

Top Venues

Publications

Samuel Cavoj, Ivan Nikitin, Colin Perkins, Ornela Dardha
Session Types for the Transport Layer: Towards an Implementation of TCP. PLACES@ETAPS (2024)