@article{article, title = {{Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency}}, url = {{}}, year = {{2016}}, month = {{2}}, author = {{Dongol B and Hayes IJ and Struth G}}, doi = {{10.1145/2874773}}, volume = {{17}}, journal = {{ACM Transactions on Computational Logic}}, issue = {{3}}, note = {{Accessed on 2025/05/23}}}