Can Message Buffers be Characterized in Linear Temporal Logic?

A. Prasad Sistla, Edmund M. Clarke, Nissim Francez, Yuri Gurevich

Browse the full PODC paper archive.