A formal communication model for lookup operations in a hypercube-based P2P data store