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

Original language	English
Title of host publication	Proceedings of the European Symposium on Programming
Publication status	Published - 2017

Mike Dodds
- mdd500york.acuk
- Computer Science - Anniversary Research Lecturer, Former employee
Person: Academic

Profiles