On abstraction and compositionality for weak-memory linearisability - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Brijesh Dongol, Radha Jagadeesan, James Riely, Alasdair Armstrong. On abstraction and compositionality for weak-memory linearisability. In Isil Dillig, Jens Palsberg, editors, Verification, Model Checking, and Abstract Interpretation - 19th International Conference, VMCAI 2018, Los Angeles, CA, USA, January 7-9, 2018, Proceedings. Volume 10747 of Lecture Notes in Computer Science, pages 183-204, Springer, 2018. [doi]

This author has not been identified. Look up 'Brijesh Dongol' in GoogleThis author has not been identified. Look up 'Radha Jagadeesan' in GoogleThis author has not been identified. Look up 'James Riely' in GoogleThis author has not been identified. Look up 'Alasdair Armstrong' in Google

runs on WebDSL