Local Distributed Verification

Alkida Balliu, Gianlorenzo D'Angelo, Pierre Fraigniaud +1

In the framework of distributed network computing, it is known that, for every network predicate, each network configuration that satisfies this predicate can be proved using distr…