The method of constructing models of peer to peer protocols | IEEE Conference Publication | IEEE Xplore