1. Randomized proof-labeling schemes;Fraigniaud;Distrib. Comput.,2019
2. Proof labeling schemes;Korman;Distrib. Comput.,2010
3. On the power of the congested clique model;Drucker,2014
4. The effect of range and bandwidth on the round complexity in the congested clique model;Becker,2016
5. Locally checkable proofs;Göös,2011