research
∙
09/12/2019
Tasks in Modular Proofs of Concurrent Algorithms
Proving correctness of distributed or concurrent algorithms is a mind-ch...
share
research
∙
07/08/2019
A Topological Perspective on Distributed Network Algorithms
More than two decades ago, combinatorial topology was shown to be useful...
research
∙
04/20/2018
