E. M. Can message buffers be characterized in linear temporal logic?
- N. Clarke ,
- Y. Francez ,
- Yuri Gurevich ,
- P. Sistla
Symposium on Principles of Distributed Computing, ACM | , pp. 148-156
In the case of unbounded buffers, the negative answer follows from a result in [28].