Browsing by Author Jagadeesan, R
Showing results 1 to 1 of 1
Issue Date | Title | Author(s) |
---|---|---|
2017 | On abstraction and compositionality for weak-memory linearisability | Dongol, B; Jagadeesan, R; Riely, J; Armstrong, A |
Issue Date | Title | Author(s) |
---|---|---|
2017 | On abstraction and compositionality for weak-memory linearisability | Dongol, B; Jagadeesan, R; Riely, J; Armstrong, A |