Browsing by Subject Linearizability
Showing results 1 to 4 of 4
Issue Date | Title | Author(s) |
---|---|---|
2015 | Admit your weakness: Verifying correctness on TSO architectures | Smith, G; Derrick, J; Dongol, B |
2014 | Quiescent consistency: Defining and verifying relaxed linearizability | Derrick, J; Dongol, B; Schellhorn, G; Tofan, B; Travkin, O; Wehrheim, H |
2014 | Using coarse-grained abstractions to verify linearizability on TSO architectures | Derrick, J; Smith, G; Groves, L; Dongol, B |
2014 | Verifying linearizability on TSO architectures | Derrick, J; Smith, G; Dongol, B |