Correct and Efficient Bounded FIFO Queues.

Nhat Minh L, Adrien Guatto, Albert Cohen, Antoniu Pop

Browse the full SBAC-PAD paper archive.