Introduction to Distributed Self-Stabilizing Algorithms
- Paperback
147 pages
- Release Date
15 April 2019
Summary
This book aims at being a comprehensive and pedagogical introduction to the concept of self-stabilization, introduced by Edsger Wybe Dijkstra in 1973. Self-stabilization characterizes the ability of a distributed algorithm to converge within finite time to a configuration from which its behavior is correct (i.e., satisfies a given specification), regardless the arbitrary initial configuration of the system. This arbitrary initial configuration may be the result of the occurrence of a f…
Book Details
| ISBN-13: | 9783031008856 |
|---|---|
| ISBN-10: | 3031008855 |
| Author: | Karine Altisen, Swan Dubois, Franck Petit, Stéphane Devismes |
| Publisher: | Springer International Publishing AG |
| Imprint: | Springer International Publishing AG |
| Format: | Paperback |
| Number of Pages: | 147 |
| Release Date: | 15 April 2019 |
| Weight: | 329g |
| Dimensions: | 191mm x 235mm |
| Series: | Synthesis Lectures on Distributed Computing Theory |
Karine Altisen
Karine Altisen is an associate professor at Grenoble-INP/Ensimag (France). She has been a member of the VERIMAG Laboratory since 1998 and obtained a Ph.D. in 2001. Her current research area combines formal methods and distributed computing. She is interested in theoretical and algorithmic aspects of fault-tolerant distributed systems, including their certification.
Stephane Devismes is an associate professor at Universite Grenoble Alpes (France). Since 2008 he has been a member of the Synchronous Team of the VERIMAG Laboratory. He received his Ph.D. in 2006 from the University of Picardie Jules Verne (Amiens, France). In 2007, he spent one year as a post-doctoral fellow at CNRS/Universite Paris-Sud. He carries out broad research in theoretical issues of distributed fault-tolerant computing, especially related to self-stabilization.
Swan Dubois received a Ph.D. in December 2011 from INRIA and UPMC Sorbonne Universites (Paris, France). He spent one year as a post-doctoral fellow at EPFL (Lausanne, Switzerland). He currently holds an associate professor position at Sorbonne University (formerly University Pierre and Marie Curie). His research domain covers the whole area of fault tolerance in distributed systems with a particular interest for self-stabilization and dynamic systems.
Franck Petit received a Ph.D. in Computer Science in 1998. He spent more than ten years in the industry in various positions in Computer Science. He joined the University of Picardie Jules Verne (Amiens, France) as an associate professor in 1998. In 2004, he became a professor in the same university. After one year as a visiting researcher with INRIA LIP/ENS Lyon in 2008, he joined Sorbonne University (formerly University Pierre and Marie Curie), with LiP6 in 2009. His research focuses on algorithmic aspects of synchronization, stabilization, and fault tolerance in distributed systems. He also works in the area of networks of mobile robots.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.