Adam Morrison

Identifiers

No identifiers captured yet.

Papers (1)

1. Order out of Chaos: Proving Linearizability Using Local Views cs.DC · 2018 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Constantin Enea 1 shared papers
• Noam Rinetzky 1 shared papers
• Sharon Shoham 1 shared papers
• Yotam M. Y. Feldman 1 shared papers