Klaus-Tycho Foerster, Thomas Luedi, Jochen Seidel, Roger Wattenhofer. Local checkability, no strings attached: (A)cyclicity, reachability, loop free updates in SDNs. Theoretical Computer Science, 709:48-63, 2018. [doi]
@article{FoersterLSW18,
title = {Local checkability, no strings attached: (A)cyclicity, reachability, loop free updates in SDNs},
author = {Klaus-Tycho Foerster and Thomas Luedi and Jochen Seidel and Roger Wattenhofer},
year = {2018},
doi = {10.1016/j.tcs.2016.11.018},
url = {https://doi.org/10.1016/j.tcs.2016.11.018},
researchr = {https://researchr.org/publication/FoersterLSW18},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {709},
pages = {48-63},
}