|
Authors: | Klaus-Tycho Förster, Thomas Lüdi, Jochen Seidel, Roger Wattenhofer |
Group: | Distributed Computing |
Type: | Article |
Title: | Local Checkability, No Strings Attached: (A)cyclicity, Reachability, Loop Free Updates in SDNs |
Year: | 2016 |
Month: | November |
Journal: | Theoretical Computer Science (TCS) |
Resources: | [BibTeX] [ External LINK ] [Paper as PDF] |