Real-Time State Management in Mobile Peer-to-Peer File-Sharing Services | IEEE Conference Publication | IEEE Xplore