Quantifiability: Correctness of Concurrent Programs in Vector Space.

Victor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev

Browse the full PDP paper archive.