Local checkability, no strings attached: (A)cyclicity, reachability, loop free updates in SDNs

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]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.