[BOG][B] Distributed computing through combinatorial topology

M Herlihy, D Kozlov, S Rajsbaum - 2013 - books.google.com
Distributed Computing Through Combinatorial Topology describes techniques for analyzing
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 …

The renaming problem in shared memory systems: An introduction

A Castañeda, S Rajsbaum, M Raynal - Computer Science Review, 2011 - Elsevier
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 …

[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 …

Perspectives on the CAP Theorem

S Gilbert, N Lynch - Computer, 2012 - ieeexplore.ieee.org
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 …

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 …

The failure detector abstraction

FC Freiling, R Guerraoui, P Kuznetsov - ACM Computing Surveys …, 2011 - dl.acm.org
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 …

[BOG][B] Directed algebraic topology and concurrency

L Fajstrup, E Goubault, E Haucourt, S Mimram… - 2016 - Springer
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 …

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 …

[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 …