DyNetKAT: An Algebra of Dynamic Networks.

Georgiana Caltais, Hossein Hojjat, Mohammad Reza Mousavi, Hnkar Can Tun

Browse the full FOSSACS paper archive.