Browsing by Author Dongol, B
Showing results 24 to 26 of 26
< 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 |