Search
Add filters:
Use filters to refine the search results.
Results 1-6 of 6 (Search time: 0.006 seconds).
- previous
- 1
- next
Item hits:
Issue Date | Title | Author(s) |
---|---|---|
2015 | Defining correctness conditions for concurrent objects in multicore architectures | Dongol, B; Derrick, J; Groves, L; Smith, G |
2015 | Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems | Dongol, B; Derrick, J |
2015 | Verifying linearisability: A comparative survey | Dongol, B; Derrick, J |
2015 | Admit your weakness: Verifying correctness on TSO architectures | Smith, G; Derrick, J; Dongol, B |
2015 | A program construction and verification tool for separation logic | Dongol, B; Gomes, VBF; Struth, G |
2015 | Convolution as a unifying concept: Applications in separation logic, interval calculi and concurrency | Dongol, B; Hayes, IJ; Struth, G |