A scalable lock-free stack algorithm and its verification

Colvin, R. and Groves, L. (2007). A scalable lock-free stack algorithm and its verification. In: Mike Hinchey and Tiziana Margaria-Steffen, Proceedings Fifth IEEE International Conference on Software Engineering and Formal Methods. Fifth IEEE International Conference on Software Engineering and Formal Methods, London, United Kingdom, (339-348). 12-14 September 2007. doi:10.1109/SEFM.2007.2

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Colvin, R.
Groves, L.
Title of paper A scalable lock-free stack algorithm and its verification
Conference name Fifth IEEE International Conference on Software Engineering and Formal Methods
Conference location London, United Kingdom
Conference dates 12-14 September 2007
Proceedings title Proceedings Fifth IEEE International Conference on Software Engineering and Formal Methods
Journal name SEFM 2007: Fifth IEEE International Conference On Software Engineering and Formal Methods, Proceedings
Place of Publication Los Alamitos, CA, United States
Publisher IEEE Computer Society
Publication Year 2007
Sub-type Fully published paper
DOI 10.1109/SEFM.2007.2
ISBN 9780769528847
Editor Mike Hinchey
Tiziana Margaria-Steffen
Start page 339
End page 348
Total pages 10
Language eng
Subjects 280302 Software Engineering
700102 Application tools and system utilities
E1
Q-Index Code E1
Q-Index Status Confirmed Code

 
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 2 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 8 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Tue, 06 May 2008, 19:42:31 EST by Donna Clark on behalf of School of Information Technol and Elec Engineering