@article(DBLP:journals/tcs/AlfaroHK07,
 author       = {Luca de Alfaro and Thomas A. Henzinger and Orna Kupferman},
 year         = {2007},
 title        = {Concurrent reachability games},
 journal      = {Theor. Comput. Sci.},
 volume       = {386},
 number       = {3},
 pages        = {188--217},
 url          = {http://dx.doi.org/10.1016/j.tcs.2007.07.008},
)
@article(DBLP:journals/jacm/AlurHK02,
 author       = {Rajeev Alur and Thomas A. Henzinger and Orna Kupferman},
 year         = {2002},
 title        = {Alternating-time temporal logic},
 journal      = {J. ACM},
 volume       = {49},
 number       = {5},
 pages        = {672--713},
 url          = {http://doi.acm.org/10.1145/585265.585270},
)
@inproceedings(DBLP:conf/icalp/BrazdilJK10,
 author       = {Tom{\'a}s Br{\'a}zdil and Petr Jancar and Anton\'{\i}n Kucera},
 year         = {2010},
 title        = {Reachability Games on Extended Vector Addition Systems with States},
 editor       = {Samson Abramsky and Cyril Gavoille and Claude Kirchner and {Meyer auf der Heide}, Friedhelm and Paul G. Spirakis},
 booktitle    = {ICALP (2)},
 series       = {Lecture Notes in Computer Science},
 volume       = {6199},
 publisher    = {Springer},
 pages        = {478--489},
 url          = {http://dx.doi.org/10.1007/978-3-642-14162-1_40},
)
@article(DBLP:journals/jacm/ChandraKS81,
 author       = {Ashok K. Chandra and Dexter Kozen and Larry J. Stockmeyer},
 year         = {1981},
 title        = {Alternation},
 journal      = {J. {ACM}},
 volume       = {28},
 number       = {1},
 pages        = {114--133},
 doi          = {10.1145/322234.322243},
)
@inproceedings(negI,
 author       = {Javier Esparza and J{\"o}rg Desel},
 year         = {2013},
 title        = {On Negotiation as Concurrency Primitive},
 editor       = {Pedro R. D'Argenio and Hern{\'a}n C. Melgratti},
 booktitle    = {CONCUR},
 series       = {Lecture Notes in Computer Science},
 volume       = {8052},
 publisher    = {Springer},
 pages        = {440--454},
 url          = {http://dx.doi.org/10.1007/978-3-642-40184-8_31},
)
@inproceedings(negII,
 author       = {Javier Esparza and J{\"o}rg Desel},
 year         = {2014},
 title        = {On Negotiation as Concurrency Primitive II: Deterministic Cyclic Negotiations},
 editor       = {Anca Muscholl},
 booktitle    = {FoSSaCS},
 series       = {Lecture Notes in Computer Science},
 volume       = {8412},
 publisher    = {Springer},
 pages        = {258--273},
 url          = {http://dx.doi.org/10.1007/978-3-642-54830-7_17},
)
@article(DBLP:journals/fmsd/GastinSZ09,
 author       = {Paul Gastin and Nathalie Sznajder and Marc Zeitoun},
 year         = {2009},
 title        = {Distributed synthesis for well-connected architectures},
 journal      = {Formal Methods in System Design},
 volume       = {34},
 number       = {3},
 pages        = {215--237},
 url          = {http://dx.doi.org/10.1007/s10703-008-0064-7},
)
@inproceedings(DBLP:conf/icalp/GenestGMW13,
 author       = {Blaise Genest and Hugo Gimbert and Anca Muscholl and Igor Walukiewicz},
 year         = {2013},
 title        = {Asynchronous Games over Tree Architectures},
 editor       = {Fedor V. Fomin and Rusins Freivalds and Marta Z. Kwiatkowska and David Peleg},
 booktitle    = {ICALP (2)},
 series       = {Lecture Notes in Computer Science},
 volume       = {7966},
 publisher    = {Springer},
 pages        = {275--286},
 url          = {http://dx.doi.org/10.1007/978-3-642-39212-2_26},
)
@inproceedings(DBLP:conf/rp/Kucera12,
 author       = {Anton\'{\i}n Kucera},
 year         = {2012},
 title        = {Playing Games with Counter Automata},
 editor       = {Alain Finkel and J{\'e}r{\^o}me Leroux and Igor Potapov},
 booktitle    = {RP},
 series       = {Lecture Notes in Computer Science},
 volume       = {7550},
 publisher    = {Springer},
 pages        = {29--41},
 url          = {http://dx.doi.org/10.1007/978-3-642-33512-9_4},
)
@inproceedings(DBLP:conf/fsttcs/MohalikW03,
 author       = {Swarup Mohalik and Igor Walukiewicz},
 year         = {2003},
 title        = {Distributed Games},
 editor       = {Paritosh K. Pandya and Jaikumar Radhakrishnan},
 booktitle    = {FSTTCS},
 series       = {Lecture Notes in Computer Science},
 volume       = {2914},
 publisher    = {Springer},
 pages        = {338--351},
 url          = {http://dx.doi.org/10.1007/978-3-540-24597-1_29},
)
@article(rubinstein1982perfect,
 author       = {Ariel Rubinstein},
 year         = {1982},
 title        = {Perfect equilibrium in a bargaining model},
 journal      = {Econometrica},
 volume       = {50},
 number       = {1},
 pages        = {97--109},
 doi          = {10.2307/1912531},
)
@article(DBLP:journals/iandc/Walukiewicz01,
 author       = {Igor Walukiewicz},
 year         = {2001},
 title        = {Pushdown Processes: Games and Model-Checking},
 journal      = {Inf. Comput.},
 volume       = {164},
 number       = {2},
 pages        = {234--263},
 url          = {http://dx.doi.org/10.1006/inco.2000.2894},
)