Synthesis Lectures on Distributed Computing Theory

7 réponses.

Bloem, roderick & khalimov, Ayrat & jacobs, Swen [et al.]

Decidability of Parameterized Verification. - Springer Verlag, 2022. - (Synthesis Lectures on Distributed Computing Theory).

Choudhury, Ashish & Patra, Arpita

Secure Multi-Party Computation Against Passive Adversaries. - Springer Verlag, 2022. - (Synthesis Lectures on Distributed Computing Theory).

Altisen, Karine

Introduction to Distributed Self-Stabilizing Algorithms. - Morgan & Claypool Publishers, 2019. - (Synthesis Lectures on Distributed Computing Theory).

Barenboim, Leonid & Elkin, Michael

Distributed graph coloring: fundamentals and recent developments. - Morgan & Claypool Publishers, 2013. - (Synthesis Lectures on Distributed Computing Theory).

Kranakis, Evangelos & Krizanc, Danny & Markou, Euripides

The mobile agent rendezvous problem in the ring. - Morgan & Claypool Publishers, 2010. - (Synthesis Lectures on Distributed Computing Theory).

Raynal, Michel

Communication and agreement abstractions for fault-tolerant distributed systems. - Morgan & Claypool Publishers, 2010. - (Synthesis Lectures on Distributed Computing Theory).

Othon, Michail & Chatzigiannakis, Ionannis & Spirakis, Paul G.

New models for population protocols. - Morgan & Claypool Publishers, 2011. - (Synthesis Lectures on Distributed Computing Theory; 6).