Nhat Minh Lê, Adrien Guatto, Albert Cohen, Antoniu Pop. Correct and Efficient Bounded FIFO Queues. In 25th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2013, Porto de Galinhas, Pernambuco, Brazil, October 23-26, 2013. pages 144-151, IEEE, 2013. [doi]
@inproceedings{LeGCP13, title = {Correct and Efficient Bounded FIFO Queues}, author = {Nhat Minh Lê and Adrien Guatto and Albert Cohen and Antoniu Pop}, year = {2013}, doi = {10.1109/SBAC-PAD.2013.8}, url = {http://dx.doi.org/10.1109/SBAC-PAD.2013.8}, researchr = {https://researchr.org/publication/LeGCP13}, cites = {0}, citedby = {0}, pages = {144-151}, booktitle = {25th International Symposium on Computer Architecture and High Performance Computing, SBAC-PAD 2013, Porto de Galinhas, Pernambuco, Brazil, October 23-26, 2013}, publisher = {IEEE}, }