@article{Volzer:2012:DFR:2220357.2220360,
    Address = {New York, NY, USA},
    Author = {V\"{o}lzer, Hagen and Varacca, Daniele},
    ISSN = {0004-5411},
    Journal = {J. ACM},
    Keywords = {Fairness, concurrent systems, game theory, machine closure, model checking, temporal logic, temporal properties, topology},
    Month = {June},
    Number = {3},
    Pages = {13:1--13:37},
    Publisher = {ACM},
    Title = {Defining Fairness in Reactive and Concurrent Systems},
    URL = {http://doi.acm.org/10.1145/2220357.2220360},
    Volume = {59},
    Year = {2012},
    acmid = {2220360},
    articleno = {13},
    bdsk-url-1 = {http://doi.acm.org/10.1145/2220357.2220360},
    bdsk-url-2 = {http://dx.doi.org/10.1145/2220357.2220360},
    date-added = {2014-02-24 12:22:49 +0000},
    date-modified = {2014-02-24 12:22:49 +0000},
    issue_date = {June 2012},
    numpages = {37},
    doi = {10.1145/2220357.2220360}
}

@article{Volzer:2012:DFR:2220357.2220360, Address = {New York, NY, USA}, Author = {V\"{o}lzer, Hagen and Varacca, Daniele}, ISSN = {0004-5411}, Journal = {J. ACM}, Keywords = {Fairness, concurrent systems, game theory, machine closure, model checking, temporal logic, temporal properties, topology}, Month = {June}, Number = {3}, Pages = {13:1--13:37}, Publisher = {ACM}, Title = {Defining Fairness in Reactive and Concurrent Systems}, URL = {http://doi.acm.org/10.1145/2220357.2220360}, Volume = {59}, Year = {2012}, acmid = {2220360}, articleno = {13}, bdsk-url-1 = {http://doi.acm.org/10.1145/2220357.2220360}, bdsk-url-2 = {http://dx.doi.org/10.1145/2220357.2220360}, date-added = {2014-02-24 12:22:49 +0000}, date-modified = {2014-02-24 12:22:49 +0000}, issue_date = {June 2012}, numpages = {37}, doi = {10.1145/2220357.2220360} }