Can message buffers be axiomatized in temporal logic (1985)

by A P Sistla, E M Clarke, N Francez, A R Meyer
Venue:Information and Control