Quantifiability: a concurrent correctness condition modeled in vector space

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev. Quantifiability: a concurrent correctness condition modeled in vector space. Computing, 105(5):955-978, May 2023. [doi]

Abstract

Abstract is missing.