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 SizeFormat 
Fulltext.pdf359.69 kBUnknownView/Open


Items in BURA are protected by copyright, with all rights reserved, unless otherwise indicated.