Image de couverture de livre

Session Types for the Transport Layer: Towards an Implementation of TCP

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Cavoj, Samuel, Nikitin, Ivan, Perkins, Colin, Dardha, Ornela
Format:	Preprint
Publié:	2024
Sujets:	Programming Languages Networking and Internet Architecture
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Implementation and Performance Evaluation of TCP over QUIC Tunnels
par: Guo, Xuanhong, et autres
Publié: (2025)

Escape from Callback Hell! A New Programming Paradigm for Network Simulation
par: Zhu, Yuanyi, et autres
Publié: (2026)

Multiparty Session Types with a Bang!
par: Brun, Matthew Alan Le, et autres
Publié: (2025)

On Enhancing Delay SLAs in TCP Networks through Joint Routing and Transport Assistant Deployment
par: Gómez-delaHiz, José, et autres
Publié: (2025)

Smart-TCP: An Agentic AI-based Autonomous and Adaptive TCP Protocol
par: Han, Yule, et autres
Publié: (2025)

TCP BBR Performance over Wi-Fi~6: AQM Impacts and Cross-Layer Insights
par: Shrestha, Shyam Kumar, et autres
Publié: (2025)

Measuring NAT64 Usage in the Wild
par: Boswell, Elizabeth, et autres
Publié: (2024)

Protocols to Code: Formal Verification of a Next-Generation Internet Router
par: Pereira, João C., et autres
Publié: (2024)

Node.DPWS: High performance and scalable Web Services for the IoT
par: Fysarakis, Konstantinos, et autres
Publié: (2015)

Performance Analysis of Transmission Control Protocol (TCP) Variants
par: Pamarath, Mansukh, et autres
Publié: (2024)

Should BBR be the default TCP Congestion Control Protocol?
par: Abreu, Josue, et autres
Publié: (2025)

A Stability-first Approach to Running TCP over Starlink
par: Stock, Gregory, et autres
Publié: (2024)

GRU-Based Learning for the Identification of Congestion Protocols in TCP Traffic
par: Bergeron, Paul, et autres
Publié: (2025)

Characterizing TCP's Performance for Low-Priority Flows Inside a Cloud
par: Bashir, Hafiz Mohsin, et autres
Publié: (2024)

ZBanner: Fast Stateless Scanning Capable of Obtaining Responses over TCP
par: Chen, Chiyu, et autres
Publié: (2024)

Multipath TCP with Single Radio Access Technologies: a Paradox or an Opportunity?
par: Torrinhas, João, et autres
Publié: (2025)

QuicSDN: Transitioning from TCP to QUIC for Southbound Communication in SDNs
par: Kumar, Puneet, et autres
Publié: (2021)

A Secure Splitting and Acceleration Strategy for TCP/QUIC in Interplanetary Networks
par: Yu, Jianhao, et autres
Publié: (2026)

An Extensible Software Transport Layer for GPU Networking
par: Zhou, Yang, et autres
Publié: (2025)

Adapting Large Language Models for Improving TCP Fairness over WiFi
par: Shrestha, Shyam Kumar, et autres
Publié: (2024)

Evaluation of TCP Congestion Control for Public High-Performance Wide-Area Networks
par: Sarpkaya, Fatih Berkay, et autres
Publié: (2026)

To Switch or Not to Switch to TCP Prague? Incentives for Adoption in a Partial L4S Deployment
par: Sarpkaya, Fatih Berkay, et autres
Publié: (2024)

QRtree -- Decision Tree dialect specification of QRscript
par: Scanzio, Stefano, et autres
Publié: (2024)

QRscript specification
par: Scanzio, Stefano, et autres
Publié: (2024)

ALCS: An Adaptive Latency Compensation Scheduler for Multipath TCP in Satellite-Terrestrial Integrated Networks
par: Wang, Lin, et autres
Publié: (2025)

Uncovering Gaps Between RFC Updates and TCP/IP Implementations: LLM-Facilitated Differential Checks on Intermediate Representations
par: Wu, Yifan, et autres
Publié: (2025)

TCP ROCCET: An RTT-Oriented CUBIC Congestion Control Extension for 5G and Beyond Networks
par: Prause, Lukas, et autres
Publié: (2025)

2BRobust -- Overcoming TCP BBR Performance Degradation in Virtual Machines under CPU Contention
par: Elmenhorst, Kathrin, et autres
Publié: (2026)

Goal-Oriented Middleware Filtering at Transport Layer Based on Value of Updates
par: Kutsevol, Polina, et autres
Publié: (2025)

MAG$π$!: The Role of Replication in Typing Failure-Prone Communication
par: Brun, Matthew Alan Le, et autres
Publié: (2024)

DiffPerf: Towards Performance Differentiation and Optimization with SDN Implementation
par: Aljoby, Walid, et autres
Publié: (2020)

Prioritise the Best Variation
par: Kokke, Wen, et autres
Publié: (2021)

AI Sessions for Network-Exposed AI-as-a-Service
par: Chraiti, Mohaned, et autres
Publié: (2026)

Tiny Neural Networks for Session-Level Traffic Classification
par: Chehade, Adel, et autres
Publié: (2025)

Scaling Data Center TCP to Terabits with Laminar
par: Shashidhara, Rajath, et autres
Publié: (2025)

Towards an Implementation of the Knowledge-Based Control Plane for Intelligent Swarm Networks
par: Guo, Xuanchi, et autres
Publié: (2024)

A Protocol-Independent Transport Architecture
par: Mohammadtaheri, Kimiya, et autres
Publié: (2026)

Fog-supported delay-constrained energy-saving live migration of VMs over MultiPath TCP/IP 5G connections
par: Baccarelli, Enzo, et autres
Publié: (2018)

ai.txt: A Domain-Specific Language for Guiding AI Interactions with the Internet
par: Li, Yuekang, et autres
Publié: (2025)

Towards a Wireless Physical-Layer Foundation Model: Challenges and Strategies
par: Fontaine, Jaron, et autres
Publié: (2024)