Cited By
View all- Krishna SPatel NShasha DWies T(2021)Automated Verification of Concurrent Search StructuresSynthesis Lectures on Computer Science10.2200/S01089ED1V01Y202104CSL0139:1(1-188)Online publication date: 1-Jun-2021
- Durand AKutten S(2019)Reducing the Number of Messages in Self-stabilizing ProtocolsStabilization, Safety, and Security of Distributed Systems10.1007/978-3-030-34992-9_12(133-148)Online publication date: 14-Nov-2019
- Durand AKutten S(2018)Message-Efficient Self-stabilizing Transformer Using Snap-Stabilizing Quiescence DetectionStructural Information and Communication Complexity10.1007/978-3-030-01325-7_3(20-24)Online publication date: 31-Oct-2018
- Show More Cited By