Wim H. Hesselink, Alex A. Aravind. Queue based mutual exclusion with linearly bounded overtaking. Science of Computer Programming, 76(7):542-554, 2011. [doi]
@article{HesselinkA11, title = {Queue based mutual exclusion with linearly bounded overtaking}, author = {Wim H. Hesselink and Alex A. Aravind}, year = {2011}, doi = {10.1016/j.scico.2010.11.002}, url = {http://dx.doi.org/10.1016/j.scico.2010.11.002}, tags = {rule-based}, researchr = {https://researchr.org/publication/HesselinkA11}, cites = {0}, citedby = {0}, journal = {Science of Computer Programming}, volume = {76}, number = {7}, pages = {542-554}, }