Login / Signup

A Generic Logic for Proving Linearizability.

Artem KhyzhaAlexey GotsmanMatthew J. Parkinson
Published in: FM (2016)
Keyphrases