Brunel University Research Archive(BURA) preserves and enables easy and open access to all
types of digital content. It showcases Brunel's research outputs.
Research contained within BURA is open access, although some publications may be subject
to publisher imposed embargoes. All awarded PhD theses are also archived on BURA.
Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/12133Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Dongol, B | - |
| dc.contributor.author | Hayes, IJ | - |
| dc.contributor.author | Struth, G | - |
| dc.date.accessioned | 2016-02-18T14:17:08Z | - |
| dc.date.available | 2016-02-18T14:17:08Z | - |
| dc.date.issued | 2015 | - |
| dc.identifier.citation | ACM Transactions on Computational Logic, (2015) 17(3), pp. 15:1-15:25 (25) | en_US |
| dc.identifier.issn | 1529-3785 | - |
| dc.identifier.uri | https://tocl.acm.org/ | - |
| dc.identifier.uri | https://bura.brunel.ac.uk/handle/2438/12133 | - |
| dc.identifier.uri | https://dl.acm.org/citation.cfm?id=2874773 | - |
| dc.description.sponsorship | The research reported here was supported in part by Australian Research Council Grant No. DP130102901 and EPSRC Grant No. EP/J003727/1. | - |
| dc.language.iso | en | en_US |
| dc.publisher | Association for Computing Machinery (ACM) | en_US |
| dc.title | Convolution as a unifying concept: Applications in separation logic, interval calculi and concurrency | en_US |
| dc.type | Article | en_US |
| dc.identifier.doi | https://doi.org/10.1145/2874773 | - |
| dc.relation.isPartOf | ACM Transactions on Computational Logic | - |
| pubs.publication-status | Published | - |
| pubs.publication-status | Published | - |
| Appears in Collections: | Dept of Computer Science Research Papers | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| Fulltext.pdf | 359.69 kB | Unknown | View/Open |
Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.