2018-04-07
Self-stabilization through the lens of game theory
Publication
Publication
In 1974 Dijkstra introduced the seminal concept of self-stabilization that turned out to be one of the main approaches to fault-tolerant computing. We show here how his three solutions can be formalized and reasoned about using the concepts of game theory. We also determine the precise number of steps needed to reach self-stabilization in his first solution.
| Additional Metadata | |
|---|---|
| F.S. de Boer (Frank) , M.M. Bonsangue (Marcello) , J.J.M.M. Rutten (Jan) | |
| doi.org/10.1007/978-3-319-90089-6_2 | |
| Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence | |
| Organisation | Centrum Wiskunde & Informatica, Amsterdam (CWI), The Netherlands |
|
Apt, K., & Shoja Talatappeh, E. (2018). Self-stabilization through the lens of game theory. In F. de Boer, M. Bonsangue, & J. Rutten (Eds.), It's All About Coordination. Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (pp. 21–37). doi:10.1007/978-3-319-90089-6_2 |
|