A Framework for Correctness Criteria on Weak Memory Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

John Derrick, Graeme Smith. A Framework for Correctness Criteria on Weak Memory Models. In Nikolaj Bjørner, Frank D. de Boer, editors, FM 2015: Formal Methods - 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Volume 9109 of Lecture Notes in Computer Science, pages 178-194, Springer, 2015. [doi]

This author has not been identified. Look up 'John Derrick' in GoogleThis author has not been identified. It may be one of the following persons:

Graeme Smith

Look up 'Graeme Smith' in Google

runs on WebDSL