Algorithmic Nominal Game Semantics - June 2011