Please use this identifier to cite or link to this item: http://buratest.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)
URI: http://tocl.acm.org/
http://bura.brunel.ac.uk/handle/2438/12133
DOI: http://dx.doi.org/10.1145/0000000.0000000
ISSN: 1557-945X
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.