Abstract games for in nite state processes