research
∙
02/19/2021
DyNetKAT: An Algebra of Dynamic Networks
We introduce a formal language for specifying dynamic updates for Softwa...
research
∙
12/26/2013