CoordinationProtocol added in latex