Introducing speculation in self-stabilization

DOI10.1145/2484239.2484246zbMath1323.68554arXiv1302.2217OpenAlexW2132110230MaRDI QIDQ5176106

Swan Dubois, Rachid Guerraoui

Publication date: 2 March 2015

Published in: Proceedings of the 2013 ACM symposium on Principles of distributed computing (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1302.2217

zbMATH Keywords

fault-tolerancespeculationmutual exclusionself-stabilization

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Network protocols (68M12) Distributed algorithms (68W15)

Related Items (3)

Self-stabilizing systems in spite of high dynamics ⋮ Verifying Recurrence Properties in Self-stabilization by Checking the Absence of Finite Counterexamples ⋮ Near-optimal knowledge-free resilient leader election

This page was built for publication: Introducing speculation in self-stabilization