Order out of chaos: Proving linearizability using local views

Yotam M.Y. Feldman, Constantin Enea, Adam Morrison, Noam Rinetzky, Sharon Shoham

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Fingerprint

Dive into the research topics of 'Order out of chaos: Proving linearizability using local views'. Together they form a unique fingerprint.

Engineering & Materials Science