Search
Add filters:
Use filters to refine the search results.
Results 1-4 of 4 (Search time: 0.005 seconds).
- previous
- 1
- next
Item hits:
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 |
2014 | Verifying linearizability on TSO architectures | Derrick, J; Smith, G; Dongol, B |
2014 | Interval-based data refinement: A uniform approach to true concurrency in discrete and real-time systems | Dongol, B; Derrick, J |
2014 | Deriving real-time action systems with multiple time bands using algebraic reasoning | Dongol, B; Hayes, IJ; Derrick, J |