IRUS-ANZ has moved. From January 2022, new monthly statistics will only be added to the IRUS R5 service. This site is archived. All statistics up to December 2021 will remain available on this site.
| Author | Identifier | Number of Items | Total Downloads |
|---|---|---|---|
| Dongol, B |  https://orcid.org/0000-0003-0446-3507 |
14 | 255 |
| Title | Author(s) | IrusType | Repository | Item URL | Total Downloads |
|---|---|---|---|---|---|
| Admit your weakness: Verifying correctness on TSO architectures | Smith, Graeme; Derrick, John; Dongol, Brijesh | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:351737 | 1 |
| Approximating idealised real-time specifications using time bands | Dongol, Brijesh; Hayes, Ian J. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:294229 | 3 |
| Concurrent Program Design in the Extended Theory of Owicki and Gries | Goldson, D. W.; Dongol, B. M. S. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:9898 | 34 |
| Convolution as a unifying concept: applications in separation logic, interval calculi, and concurrency | Dongol, Brijesh; Hayes, Ian J.; Struth, Georg | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:382095 | 1 |
| Extending the Theory of Owicki and Gries with a Logic of Progress | Dongol, Brijesh; Goldson, Doug | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:9336 | 49 |
| Extending the theory of Owicki and Gries with a logic of progress | Dongol, B. M. S.; Goldson, D. W. | Article | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:82496 | 28 |
| Formalising progress properties of non-blocking programs | Dongol, Brijesh | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:104389 | 1 |
| Fractional permissions and non-deterministic evaluators in interval temporal logic | Dongol, Brijesh; Derrick, John; Hayes, Ian J. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:294230 | 9 |
| Progress in deriving concurrent programs: Emphasizing the role of stable guards | Dongol, Brijesh; Mooij, Arjan J. | Conference Papers/Posters | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:93237 | 1 |
| Prolog | Dongol, Brijesh M.S.; Hayes, Ian J.; Robinson, Peter J. | Dataset | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:278467 | 24 |
| Reasoning about real-time teleo-reactive programs | Dongol, Brijesh; Hayes, Ian J.; Robinson, Peter J. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:196197 | 8 |
| Reasoning about teleo-reactive programs under parallel composition | Dongol, Brijesh; Hayes, Ian J. | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:240430 | 4 |
| Streamlining Progress-Based Derivations of Concurrent Programs | Dongol, Brijesh; Mooij, Arjan | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:7824 | 81 |
| Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY | Brijesh Dongol; Ian J. Hayes | Report | University of Queensland [UQ eSpace] | https://espace.library.uq.edu.au/view/UQ:13614 | 11 |
