A formal framework for the performance analysis of P2P networks protocols | IEEE Conference Publication | IEEE Xplore