[BOG][B] Distributed computing through combinatorial topology
Distributed Computing Through Combinatorial Topology describes techniques for analyzing
distributed algorithms based on award winning combinatorial topology research. The …
distributed algorithms based on award winning combinatorial topology research. The …
[BOG][B] Fault-tolerant message-passing distributed systems: an algorithmic approach
M Raynal - 2018 - books.google.com
This book presents the most important fault-tolerant distributed programming abstractions
and their associated distributed algorithms, in particular in terms of reliable communication …
and their associated distributed algorithms, in particular in terms of reliable communication …
The renaming problem in shared memory systems: An introduction
Exploring the power of shared memory communication objects and models, and the limits of
distributed computability are among the most exciting research areas of distributed …
distributed computability are among the most exciting research areas of distributed …
[BOG][B] Mathematics and computation: A theory revolutionizing technology and science
A Wigderson - 2019 - books.google.com
From the winner of the Turing Award and the Abel Prize, an introduction to computational
complexity theory, its connections and interactions with mathematics, and its central role in …
complexity theory, its connections and interactions with mathematics, and its central role in …
Perspectives on the CAP Theorem
Perspectives on the CAP Theorem Page 1 Perspectives on the CAP Theorem Seth Gilbert
National University of Singapore Nancy A. Lynch Massachusetts Institute of Technology …
National University of Singapore Nancy A. Lynch Massachusetts Institute of Technology …
Wait-Free k-Set Agreement is Impossible: The Topology of Public Knowledge
M Saks, F Zaharoglou - SIAM Journal on Computing, 2000 - SIAM
In theclassical consensus problem, each of n processors receives a private input value and
produces a decision value which is one of the original input values, with the requirement that …
produces a decision value which is one of the original input values, with the requirement that …
The failure detector abstraction
A failure detector is a fundamental abstraction in distributed computing. This article surveys
this abstraction through two dimensions. First we study failure detectors as building blocks to …
this abstraction through two dimensions. First we study failure detectors as building blocks to …
[BOG][B] Directed algebraic topology and concurrency
Fascinating links between the semantics of concurrent programs and algebraic topology
have been discovered and developed since the 1990s, motivated by the hope that each field …
have been discovered and developed since the 1990s, motivated by the hope that each field …
Hundreds of impossibility results for distributed computing
F Fich, E Ruppert - Distributed computing, 2003 - Springer
We survey results from distributed computing that show tasks to be impossible, either
outright or within given resource bounds, in various models. The parameters of the models …
outright or within given resource bounds, in various models. The parameters of the models …
[PDF][PDF] A simple algorithmically reasoned characterization of wait-free computation
E Borowsky, E Gafni - Proceedings of the sixteenth annual ACM …, 1997 - dl.acm.org
This paper introduces two new novel tools for the study of distributed computing and shows
their utility by using them to exhibit a simple derivation of the Herlihy and Shavit …
their utility by using them to exhibit a simple derivation of the Herlihy and Shavit …