Jean-Raymond Abrial, Dominique Cansell. Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity). J. UCS, 11(5):744-770, 2005. [doi]
@article{AbrialC05,
title = {Formal Construction of a Non-blocking Concurrent Queue Algorithm (a Case Study in Atomicity)},
author = {Jean-Raymond Abrial and Dominique Cansell},
year = {2005},
url = {http://www.jucs.org/jucs_11_5/formal_construction_of_a},
tags = {case study},
researchr = {https://researchr.org/publication/AbrialC05},
cites = {0},
citedby = {0},
journal = {J. UCS},
volume = {11},
number = {5},
pages = {744-770},
}