Search
Add filters:
Use filters to refine the search results.
Results 1-4 of 4 (Search time: 0.01 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 |