Believe it or not, AJM's Games Model is a Model of Classical Linear Logic.

Patrick Baillot, Vincent Danos, Thomas Ehrhard, Laurent Regnier

Browse the full LICS paper archive.