Equational Reasonings in Wireless Network Gossip Protocols