Original language | English |
---|---|
Title of host publication | Proceedings of the European Symposium on Programming |
Publication status | Published - 2017 |
Proving Linearizability Using Partial Orders
Artem Khyzha, Michael David Dodds, Alexey Gotsman, Matthew J. Parkinson
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution