Please use this identifier to cite or link to this item:
http://bura.brunel.ac.uk/handle/2438/12133
Title: | Convolution as a unifying concept: Applications in separation logic, interval calculi and concurrency |
Authors: | Dongol, B Hayes, IJ Struth, G |
Issue Date: | 2015 |
Publisher: | Association for Computing Machinery (ACM) |
Citation: | ACM Transactions on Computational Logic, (2015) 17(3), pp. 15:1-15:25 (25) |
URI: | https://tocl.acm.org/ https://bura.brunel.ac.uk/handle/2438/12133 https://dl.acm.org/citation.cfm?id=2874773 |
DOI: | https://doi.org/10.1145/2874773 |
ISSN: | 1529-3785 |
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.