1. Accurate but not really helpful here. p2p systems that need to achieve data consistency use a gossip protocol to spread the information around all the nodes in the network.
2. and 3. Are basically the same.
Yes, Mike's client implements a version of the outbox model but when people talk about the protocol they aren't normally referring to his client.
Gossip protocol - Wikipedia
