Local checkability, no strings attached. - Klaus-Tycho Förster; Thomas Luedi; Jochen Seidel; Roger Wattenhofer (ICDCN, 2016)

Local checkability, no strings attached: (A)cyclicity, reachability, loop free updates in SDNs. - Klaus-Tycho Foerster; Thomas Luedi; Jochen Seidel; Roger Wattenhofer (Theor. Comput. Sci., 2018)