Browsing by Author Groves, L
Showing results 1 to 4 of 4
Issue Date | Title | Author(s) |
---|---|---|
2016 | Contextual trace refinement for concurrent objects: Safety and progress | Dongol, B; Groves, L |
2015 | Defining correctness conditions for concurrent objects in multicore architectures | Dongol, B; Derrick, J; Groves, L; Smith, G |
2016 | Towards linking correctness conditions for concurrent objects and contextual trace refinement | Dongol, B; Groves, L |
2014 | Using coarse-grained abstractions to verify linearizability on TSO architectures | Derrick, J; Smith, G; Groves, L; Dongol, B |