Defining Correctness Conditions for Concurrent Objects in Multicore Architectures - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Brijesh Dongol, John Derrick, Lindsay Groves, Graeme Smith. Defining Correctness Conditions for Concurrent Objects in Multicore Architectures. In John Tang Boyland, editor, 29th European Conference on Object-Oriented Programming, ECOOP 2015, July 5-10, 2015, Prague, Czech Republic. Volume 37 of LIPIcs, pages 470-494, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2015. [doi]

This author has not been identified. Look up 'Brijesh Dongol' in GoogleThis author has not been identified. Look up 'John Derrick' in GoogleThis author has not been identified. Look up 'Lindsay Groves' 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