DyNetKAT: An Algebra of Dynamic Networks

Georgiana Caltais, Hossein Hojjat, Mohammad Mousavi +1

We introduce a formal language for specifying dynamic updates for Software Defined Networks. Our language builds upon Network Kleene Algebra with Tests (NetKAT) and adds constructs…