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…