Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency. - DONGOL, BRIJESH; HAYES, IAN J.; STRUTH, GEORG (ACM Transactions on Computational Logic, 2016)