Text this: Equational Reasonings in Wireless Network Gossip Protocols