共 50 条
- [26] Squeezing Streams and Composition of Self-stabilizing Algorithms FORMAL TECHNIQUES FOR DISTRIBUTED OBJECTS, COMPONENTS, AND SYSTEMS (FORTE 2019), 2019, 11535 : 21 - 38
- [27] Efficient Self-stabilizing Grundy Coloring Algorithms PROCEEDINGS OF 2016 FUTURE TECHNOLOGIES CONFERENCE (FTC), 2016, : 199 - 205
- [30] SELFSIM: A Discrete-Event Simulator for Distributed Self-Stabilizing Algorithms 2018 INTERNATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE AND DATA PROCESSING (IDAP), 2018,