[Vicious Circles][1] by Barwise and Moss is a cornucopia of co-algebraic/co-inductive reasoning, and includes material on co-inductive games.

Not sure if it will help you out in your specific need, but might be the source of some inspiration in this line of reasoning.


  [1]: http://www-csli.stanford.edu/pubs/