Browsing by Author Dongol, B
Showing results 21 to 26 of 26
< previous
Issue Date | Title | Author(s) |
---|---|---|
2016 | Towards linking correctness conditions for concurrent objects and contextual trace refinement | Dongol, B; Groves, L |
2017 | Transactions in Relaxed Memory Architectures | Dongol, B; JAGADEESAN, R; RIELY, J |
2014 | Using coarse-grained abstractions to verify linearizability on TSO architectures | Derrick, J; Smith, G; Groves, L; Dongol, B |
2015 | Verifying linearisability: A comparative survey | Dongol, B; Derrick, J |
2014 | Verifying linearizability on TSO architectures | Derrick, J; Smith, G; Dongol, B |
2015 | Verifying opacity of a transactional Mutex lock | Derrick, J; Dongol, B; Schellhorn, G; Travkin, O; Wehrheim, H |