Similar Items: Equational Reasonings in Wireless Network Gossip Protocols