Browsing by Author Derrick, J
Showing results 15 to 17 of 17
< previous
Issue Date | Title | Author(s) |
---|---|---|
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 |