Verification Methods for Weaker Shared Memory Consistency Models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Rajnish Ghughal, Ganesh Gopalakrishnan. Verification Methods for Weaker Shared Memory Consistency Models. In José D. P. Rolim, editor, Parallel and Distributed Processing, 15 IPDPS 2000 Workshops, Cancun, Mexico, May 1-5, 2000, Proceedings. Volume 1800 of Lecture Notes in Computer Science, pages 985-992, Springer, 2000. [doi]

This author has not been identified. Look up 'Rajnish Ghughal' in GoogleThis author has not been identified. Look up 'Ganesh Gopalakrishnan' in Google

runs on WebDSL