Subject
General Computer Science,Theoretical Computer Science
Reference46 articles.
1. The local detection paradigm and its application to self-stabilization;Afek;Theoret. Comput. Sci.,1997
2. Reachability is harder for directed than for undirected finite graphs;Ajtai;J. Symbolic Logic,1990
3. Transiently consistent SDN updates: being greedy is hard;Amiri,2016
4. Distributedly testing cycle-freeness;Arfaoui,2014
5. Local decision and verification with bounded-size outputs;Arfaoui,2013
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. AllSynth: A BDD-based approach for network update synthesis;Science of Computer Programming;2023-08
2. NetStack: A Game Approach to Synthesizing Consistent Network Updates;2022 IFIP Networking Conference (IFIP Networking);2022-06-13
3. AllSynth: Transiently Correct Network Update Synthesis Accounting for Operator Preferences;Theoretical Aspects of Software Engineering;2022
4. Proof Labeling Schemes for Reachability-Related Problems in Directed Graphs;Structural Information and Communication Complexity;2022
5. P4Update;Proceedings of the 17th International Conference on emerging Networking EXperiments and Technologies;2021-12-02