@article{Sistla:1986:MBA:10414.10420,
    Address = {San Diego, CA, USA},
    Author = {Sistla, A. P. and Clarke, E. M. and Francez, N. and Meyer, A. R.},
    File = {Can message buffers be axiomatized in linear temporal logic? - Sistla, Clarke, Francez, Meyer (0) (0) - a - a - d.pdf},
    ISSN = {0019-9958},
    Journal = {Inf. Control},
    Month = {November},
    Number = {1-2},
    Pages = {88--112},
    Publisher = {Academic Press Professional, Inc.},
    Title = {Can message buffers be axiomatized in linear temporal logic?},
    URL = {http://dx.doi.org/10.1016/S0019-9958(84)80043-1},
    Volume = {63},
    Year = {1986},
    acmid = {10420},
    bdsk-url-1 = {http://dx.doi.org/10.1016/S0019-9958(84)80043-1},
    date-added = {2013-07-22 16:26:12 +0000},
    date-modified = {2013-07-22 16:26:12 +0000},
    issue_date = {Oct/Nov. 1984},
    numpages = {25},
    doi = {10.1016/S0019-9958(84)80043-1}
}

@article{Sistla:1986:MBA:10414.10420, Address = {San Diego, CA, USA}, Author = {Sistla, A. P. and Clarke, E. M. and Francez, N. and Meyer, A. R.}, File = {Can message buffers be axiomatized in linear temporal logic? - Sistla, Clarke, Francez, Meyer (0) (0) - a - a - d.pdf}, ISSN = {0019-9958}, Journal = {Inf. Control}, Month = {November}, Number = {1-2}, Pages = {88--112}, Publisher = {Academic Press Professional, Inc.}, Title = {Can message buffers be axiomatized in linear temporal logic?}, URL = {http://dx.doi.org/10.1016/S0019-9958(84)80043-1}, Volume = {63}, Year = {1986}, acmid = {10420}, bdsk-url-1 = {http://dx.doi.org/10.1016/S0019-9958(84)80043-1}, date-added = {2013-07-22 16:26:12 +0000}, date-modified = {2013-07-22 16:26:12 +0000}, issue_date = {Oct/Nov. 1984}, numpages = {25}, doi = {10.1016/S0019-9958(84)80043-1} }