Formal Abstractions for Packet Scheduling
arXiv (2022) - Comments
doi: 10.48550/arxiv.2211.11659 

Anshuman Mohan, Yunhe Liu, Nate Foster, Tobias Kappé, Dexter Kozen