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]

Authors

Victor Cook

This author has not been identified. Look up 'Victor Cook' in Google

Christina L. Peterson

This author has not been identified. Look up 'Christina L. Peterson' in Google

Zachary Painter

This author has not been identified. Look up 'Zachary Painter' in Google

Damian Dechev

This author has not been identified. Look up 'Damian Dechev' in Google