Large-Scale P2P-Inspired Problem-Solving: A Formal and Experimental Study | part of Large Scale Network-Centric Distributed Systems | Wiley-IEEE Press books | IEEE Xplore