A set of ROS2 drivers for transport-layer protocols.
-
Updated
May 24, 2024 - C++
A set of ROS2 drivers for transport-layer protocols.
This tool presents a novel approach to bolstering network protocol verification by integrating the Shadow network simulator with the Ivy formal verification tool to check time properties. Furthermore, it extends Ivy’s capabilities with a dedicated time module, enabling the verification of complex quantitative-time properties.
A Reliable application layer built over the unreliable UDP, using two different algorithms: Stop And Wait (rdt 3.0) and Go Back N.
Source code for 5G MPTCP Transport Converter
Academic project using Python to simulate the transport layer of the OSI model of networks.
Some interesting short projects developed as a part of Operating Systems and Networks courses at IIT KGP including: P2P Chat, Transport Layer Protocol and linux shell
Códigos usados para auxiliar na monitoria de Redes de computadores
rdt3.0 : Reliable Data Transfer. A transport layer protocol that form the basis of TCP
Universidade do Minho - 3º Ano
Mirror of restricted university repository. A congestion control algorithm prototype based on periodic bandwidth modulation. Implemented in aioquic for a bachelor thesis.
Add a description, image, and links to the transport-layer-protocol topic page so that developers can more easily learn about it.
To associate your repository with the transport-layer-protocol topic, visit your repo's landing page and select "manage topics."