Browsing by Author "d2dcf081-b5e5-41ba-b96c-e25675f828ef"
Now showing items 1-1 of 1
-
Feuilloley, Laurent; Fraigniaud, Pierre; Hirvonen, Juho; Paz, Ami; Perry, Mor (Springer, 2020)Distributed proofs are mechanisms that enable the nodes of a network to collectively and efficiently check the correctness of Boolean predicates on the structure of the network (e.g., having a specific diameter), or on ...