Synthesis Lectures on Distributed Computing Theory

Synthesis DCT @ www.morganclaypool.com

Edited by Nancy A. Lynch

2018

• 
  Gadi Taubenfeld:
  Distributed Computing Pearls. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2018

2015

• 
  Roderick Bloem, Swen Jacobs, Ayrat Khalimov, Igor Konnov, Sasha Rubin, Helmut Veith, Josef Widder:
  Decidability of Parameterized Verification. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2015

2014

• 
  Hagit Attiya, Faith Ellen:
  Impossibility Results for Distributed Computing. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2014

2013

• 
  Leonid Barenboim, Michael Elkin:
  Distributed Graph Coloring: Fundamentals and Recent Developments. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2013, ISBN 9781627050180, pp. 1-171

2012

• 
  Paola Flocchini, Giuseppe Prencipe, Nicola Santoro:
  Distributed Computing by Oblivious Mobile Robots. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2012
• 
  Marko Vukolic:
  Quorum Systems: With Applications to Storage and Consensus. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2012

2011

• 
  Jennifer L. Welch, Jennifer E. Walter:
  Link Reversal Algorithms. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2011
• 
  Chryssis Georgiou, Alexander A. Shvartsman:
  Cooperative Task-Oriented Computing: Algorithms and Complexity. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2011
• 
  Othon Michail, Ioannis Chatzigiannakis, Paul G. Spirakis:
  New Models for Population Protocols. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2011

2010

• 
  Dilsun Kirli Kaynar, Nancy A. Lynch, Roberto Segala, Frits W. Vaandrager:
  The Theory of Timed I/O Automata, Second Edition. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2010
• 
  Rachid Guerraoui, Michal Kapalka:
  Principles of Transactional Memory. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2010
• 
  Michel Raynal:
  Fault-tolerant Agreement in Synchronous Message-passing Systems. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2010
• 
  Michel Raynal:
  Communication and Agreement Abstractions for Fault-Tolerant Asynchronous Distributed Systems. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2010
• 
  Evangelos Kranakis, Danny Krizanc, Euripides Markou:
  The Mobile Agent Rendezvous Problem in the Ring. Synthesis Lectures on Distributed Computing Theory, Morgan & Claypool Publishers 2010