@inproceedings{ClairambaultGutierrezWinskel:Winning:2012,
    Author = {Clairambault, P. and Gutierrez, J. and Winskel, G.},
    BookTitle = {Proc. of LICS'12},
    ISSN = {1043-6871},
    Keywords = {calculus;game theory;bicategory;concurrent games;concurrent-game semantics;logic;nondeterministic strategies;predicate calculus;race-freedom;structural property;verification;Calculus;Computers;Concurrent computing;Context;Games;Semantics;Synchronization;Concurrent games;Determinacy;Event structures;Nondeterministic strategies;Winning conditions},
    Pages = {235-244},
    Title = {The Winning Ways of Concurrent Games},
    Year = {2012},
    bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2012.34},
    date-added = {2014-01-03 17:14:51 +0000},
    date-modified = {2014-01-03 17:15:15 +0000},
    doi = {10.1109/LICS.2012.34}
}

@inproceedings{ClairambaultGutierrezWinskel:Winning:2012, Author = {Clairambault, P. and Gutierrez, J. and Winskel, G.}, BookTitle = {Proc. of LICS'12}, ISSN = {1043-6871}, Keywords = {calculus;game theory;bicategory;concurrent games;concurrent-game semantics;logic;nondeterministic strategies;predicate calculus;race-freedom;structural property;verification;Calculus;Computers;Concurrent computing;Context;Games;Semantics;Synchronization;Concurrent games;Determinacy;Event structures;Nondeterministic strategies;Winning conditions}, Pages = {235-244}, Title = {The Winning Ways of Concurrent Games}, Year = {2012}, bdsk-url-1 = {http://dx.doi.org/10.1109/LICS.2012.34}, date-added = {2014-01-03 17:14:51 +0000}, date-modified = {2014-01-03 17:15:15 +0000}, doi = {10.1109/LICS.2012.34} }