@article{clarke1982e,
author = {Clarke, N. and Francez, Y. and Gurevich, Yuri and Sistla, P.},
title = {E. M. Can message buffers be characterized in linear temporal logic?},
year = {1982},
month = {July},
abstract = {In the case of unbounded buffers, the negative answer follows from a result in [28].},
url = {http://approjects.co.za/?big=en-us/research/publication/e-m-can-message-buffers-characterized-linear-temporal-logic/},
pages = {148-156},
journal = {Symposium on Principles of Distributed Computing, ACM},
}