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]
No references recorded for this publication.
No citations of this publication recorded.