Showing cs.DCShow all
2 papers · 1 filter
cs.DC2025
Renaming in distributed certification
Nicolas Bousquet, Louis Esperet, Laurent Feuilloley +1
Local certification is the area of distributed network computing asking the following question: How to certify to the nodes of a network that a global property holds, if they are l…
cs.DC2025
Reductions in local certification
Louis Esperet, Sébastien Zeitoun
Local certification is a topic originating from distributed computing, where a prover tries to convince the vertices of a graph that satisfies some property .…