@article{Alpern1985181,
    Author = {Alpern, Bowen and Schneider, Fred B.},
    File = {Defining liveness - Alpern, Schneider (0) (0) - a - a - j.pdf},
    ISSN = {0020-0190},
    Journal = {Information Processing Letters},
    Keywords = {semantics},
    Number = {4},
    Pages = {181 - 185},
    Title = {Defining liveness},
    URL = {http://www.sciencedirect.com/science/article/pii/0020019085900560},
    Volume = {21},
    Year = {1985},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0020019085900560},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0020-0190(85)90056-0},
    date-added = {2014-02-24 12:24:09 +0000},
    date-modified = {2014-02-24 12:24:09 +0000},
    doi = {10.1016/0020-0190(85)90056-0}
}

@article{Alpern1985181, Author = {Alpern, Bowen and Schneider, Fred B.}, File = {Defining liveness - Alpern, Schneider (0) (0) - a - a - j.pdf}, ISSN = {0020-0190}, Journal = {Information Processing Letters}, Keywords = {semantics}, Number = {4}, Pages = {181 - 185}, Title = {Defining liveness}, URL = {http://www.sciencedirect.com/science/article/pii/0020019085900560}, Volume = {21}, Year = {1985}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0020019085900560}, bdsk-url-2 = {http://dx.doi.org/10.1016/0020-0190(85)90056-0}, date-added = {2014-02-24 12:24:09 +0000}, date-modified = {2014-02-24 12:24:09 +0000}, doi = {10.1016/0020-0190(85)90056-0} }