Cooperation Games for Coordination ProtocolsCooperation Games for Coordination Protocols