Brief Announcement: Round eliminator: a tool for automatic speedup simulation

DOI10.1145/3382734.3405694OpenAlexW3046729455MaRDI QIDQ5855256

Dennis Olivetti

Publication date: 15 March 2021

Published in: Proceedings of the 39th Symposium on Principles of Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/3382734.3405694

zbMATH Keywords

graph problemsLOCAL modelround eliminationlocally checkable problemsautomatic lower boundsautomatic upper boundsspeedup simulation

Mathematics Subject Classification ID

Distributed systems (68M14) Distributed algorithms (68W15)

Related Items (2)

Locally checkable problems in rooted trees ⋮ Distributed Lower Bounds for Ruling Sets

This page was built for publication: Brief Announcement: Round eliminator: a tool for automatic speedup simulation