"Deciding and verifying network properties locally with few output bits."

Heger Arfaoui et al. (2020)
a service of Schloss Dagstuhl - Leibniz Center for Informatics