Quantifiability: Correctness of Concurrent Programs in Vector Space - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Victor Cook' in GoogleThis author has not been identified. Look up 'Christina L. Peterson' in GoogleThis author has not been identified. Look up 'Zachary Painter' in GoogleThis author has not been identified. Look up 'Damian Dechev' in Google

runs on WebDSL