Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols

DOI10.1007/978-3-319-21741-3_11zbMath1428.68052OpenAlexW2282814746MaRDI QIDQ5207910

Borzoo Bonakdarpour, Saba Aflaki, Sébastien Tixeuil

Publication date: 14 January 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-21741-3_11

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15) Network protocols (68M12)

Related Items (1)

Synthesizing optimal bias in randomized self-stabilization

Cites Work

• Unnamed Item
• Probabilistic self-stabilization
• Weak vs. Self vs. Probabilistic Stabilization
• Self-stabilizing systems in spite of distributed control

This page was built for publication: Automated Analysis of Impact of Scheduling on Performance of Self-stabilizing Protocols