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]
Abstract is missing.