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