Please use this identifier to cite or link to this item:
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)
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.