Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev. Quantifiability: Correctness of Concurrent Programs in Vector Space. In 29th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2021, Valladolid, Spain, March 10-12, 2021. pages 94-98, IEEE, 2021. [doi]
@inproceedings{CookPPD21,
title = {Quantifiability: Correctness of Concurrent Programs in Vector Space},
author = {Victor Cook and Christina L. Peterson and Zachary Painter and Damian Dechev},
year = {2021},
doi = {10.1109/PDP52278.2021.00023},
url = {https://doi.org/10.1109/PDP52278.2021.00023},
researchr = {https://researchr.org/publication/CookPPD21},
cites = {0},
citedby = {0},
pages = {94-98},
booktitle = {29th Euromicro International Conference on Parallel, Distributed and Network-Based Processing, PDP 2021, Valladolid, Spain, March 10-12, 2021},
publisher = {IEEE},
isbn = {978-1-6654-1455-5},
}