Browsing by Author Hayes, IJ
Showing results 1 to 3 of 3
Issue Date | Title | Author(s) |
---|---|---|
2015 | Convolution as a unifying concept: Applications in separation logic, interval calculi and concurrency | Dongol, B; Hayes, IJ; Struth, G |
2014 | Deriving real-time action systems with multiple time bands using algebraic reasoning | Dongol, B; Hayes, IJ; Derrick, J |
2014 | Reasoning about goal-directed real-time teleo-reactive programs | Dongol, B; Hayes, IJ; Robinson, PJ |