Book serie: / Книги серии: Synthesis Lectures on Distributed Computing Theory » Online Library TheLib.net

Online Library TheLib.net » Book serie: / Книги серии: Synthesis Lectures on Distributed Computing Theory

book Recoverable Mutual Exclusion

Recoverable Mutual Exclusion

pdf

Author: Sahil Dhoked Wojciech Golab Neeraj Mittal
Language: English
Year: 2023

00

15.02.2024

0

0

book Introduction to distributed self-stabilizing algorithms

Introduction to distributed self-stabilizing algorithms

pdf

Author: Altisen K
Language: English
Year: 2019

00

07.02.2024

0

0

book Distributed Computing Pearls

Distributed Computing Pearls

pdf

Author: Gadi Taubenfeld
Language: English
Year: 2018

00

29.01.2024

0

0

book Decidability of Parameterized Verification

Decidability of Parameterized Verification

pdf

Author: Roderick Bloem Swen Jacobs Ayrat Khalimov Igor Konnov Sasha Rubin Helmut Veith Josef Widder
Language: English
Year: 2015

00

27.01.2024

0

0

book Principles of Transactional Memory

Principles of Transactional Memory

pdf

Author: Rachid Guerraoui Michal Kapalka
Language: English
Year: 2010

00

27.01.2024

0

0

book The Theory of Timed I O Automata, Second Edition

The Theory of Timed I O Automata, Second Edition

pdf

Author: Dilsun Kaynar Nancy Lynch Roberto Segala Frits Vaandrager
Language: English
Year: 2010

00

27.01.2024

0

0

book Cooperative Task-Oriented Computing: Algorithms and Complexity

Cooperative Task-Oriented Computing: Algorithms and Complexity

pdf

Author: Chryssis Georgiou Alexander A. Shvartsman
Language: English
Year: 2011

00

27.01.2024

0

0

book New Models for Population Protocols

New Models for Population Protocols

pdf

Author: Othon Michail Ioannis Chatzigiannakis Paul G. Spirakis
Language: English
Year: 2011

00

27.01.2024

0

0