Proving Linearizability Using Partial Orders

Artem Khyzha, Michael David Dodds, Alexey Gotsman, Matthew J. Parkinson

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationProceedings of the European Symposium on Programming
Publication statusPublished - 2017

Cite this