Books by Synthesis Lectures on Distributed Computing Theory
Introduction to Distributed Self-Stabilizing Algorithms
Stéphane Devismes, Swan Dubois, Karine Altisen, Franck Petit
-20% with code BOOKS
In stock at our supplier
Link Reversal Algorithms
Jennifer Welch, Jennifer Walter
-20% with code BOOKS
In stock at our supplier
Quorum Systems: With Applications to Storage and Consensus
-20% with code BOOKS
In stock at our supplier
Decidability of Parameterized Verification
Ayrat Kalimov, Igor Konnov, Roderick Bloem, Swen Jacobs
-20% with code BOOKS
In stock at our supplier
Network Topology and Fault-Tolerant Consensus
Dimitris Sakavalas, Lewis Tseng
-20% with code BOOKS
In stock at our supplier
Cooperative Task-Oriented Computing: Algorithms and Complexity
Alexander Shvartsman, Chryssis Georgiou
-20% with code BOOKS
In stock at our supplier
Impossibility Results for Distributed Computing
-20% with code BOOKS
In stock at our supplier
Distributed Computing by Oblivious Mobile Robots
Nicola Santoro, Paola Flocchini, Giuseppe Prencipe
-20% with code BOOKS
In stock at our supplier
Concurrent Crash-Prone Shared Memory Systems: A Few Theoretical Notions
-20% with code BOOKS
In stock at our supplier
Fault-tolerant Agreement in Synchronous Message-passing Systems
-20% with code BOOKS
In stock at our supplier
Principles of Transactional Memory
Rachid Guerraoui, Michael Kapalka
-20% with code BOOKS
In stock at our supplier
The Theory of Timed I/O Automata, Second Edition
Dilsun Kaynar, Frits Vaandrager, Roberto Segala, Nancy Lynch
-20% with code BOOKS
In stock at our supplier
New Models for Population Protocols
Ioannis Chatzigiannakis, Paul G. Spirakis, Othon Michail
-20% with code BOOKS
In stock at our supplier
Consistent Distributed Storage
Alexander A. Schwarzmann, Vincent Gramoli, Nicolas Nicolaou
-20% with code BOOKS
In stock at our supplier
Secure Multi-Party Computation Against Passive Adversaries
Ashish Choudhury, Arpita Patra
-20% with code BOOKS
In stock at our supplier
Recoverable Mutual Exclusion
Wojciech Golab, Neeraj Mittal, Sahil Dhoked
-20% with code BOOKS
In stock at our supplier
Secure Multi-Party Computation Against Passive Adversaries
Ashish Choudhury, Arpita Patra
-20% with code BOOKS
In stock at our supplier