Proving that non-blocking algorithms don't block

DOI10.1145/1480881.1480886zbMATH Open1315.68093OpenAlexW2124945255MaRDI QIDQ5261502FDOQ5261502

Alexey Gotsman, Byron Cook, Matthew J. Parkinson, Viktor Vafeiadis

Publication date: 3 July 2015

Published in: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1480881.1480886

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.

This page was built for publication: Proving that non-blocking algorithms don't block

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261502)