Games and full abstraction for FPC | IEEE Conference Publication | IEEE Xplore