Browsing by Author Travkin, O
Showing results 2 to 3 of 3
< previous
Issue Date | Title | Author(s) |
---|---|---|
2014 | Quiescent consistency: Defining and verifying relaxed linearizability | Derrick, J; Dongol, B; Schellhorn, G; Tofan, B; Travkin, O; Wehrheim, H |
2015 | Verifying opacity of a transactional Mutex lock | Derrick, J; Dongol, B; Schellhorn, G; Travkin, O; Wehrheim, H |