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]
@article{CookPPD23,
title = {Quantifiability: a concurrent correctness condition modeled in vector space},
author = {Victor Cook and Christina L. Peterson and Zachary Painter and Damian Dechev},
year = {2023},
month = {May},
doi = {10.1007/s00607-022-01092-3},
url = {https://doi.org/10.1007/s00607-022-01092-3},
researchr = {https://researchr.org/publication/CookPPD23},
cites = {0},
citedby = {0},
journal = {Computing},
volume = {105},
number = {5},
pages = {955-978},
}