39 citations · 146 across the 23 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.NI2022
Formal Abstractions for Packet Scheduling
Anshuman Mohan, Yunhe Liu, Nate Foster +2
Early programming models for software-defined networking (SDN) focused on basic features for controlling network-wide forwarding paths, but more recent work has considered richer f…
cs.PL2022★ 6 cited
Concurrent NetKAT: Modeling and analyzing stateful, concurrent networks
Jana Wagemaker, Nate Foster, Tobias Kappé +3
We introduce Concurrent NetKAT (CNetKAT), an extension of NetKAT with operators for specifying and reasoning about concurrency in scenarios where multiple packets interact through…