Equational Reasonings in Wireless Network Gossip Protocols (Logical Methods in Computer Science, 2018)