Characterizing Transactional Memory Consistency Conditions Using Observational Refinement - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Hagit Attiya, Alexey Gotsman, Sandeep Hans, Noam Rinetzky. Characterizing Transactional Memory Consistency Conditions Using Observational Refinement. Journal of the ACM, 65(1), 2018. [doi]

This author has not been identified. Look up 'Hagit Attiya' in GoogleThis author has not been identified. Look up 'Alexey Gotsman' in GoogleThis author has not been identified. Look up 'Sandeep Hans' in GoogleThis author has not been identified. Look up 'Noam Rinetzky' in Google

runs on WebDSL