TY  - JOUR

T1  - Convolution as a Unifying Concept: Applications in Separation Logic, Interval Calculi, and Concurrency

JO  - ACM Transactions on Computational Logic

PY  - 2016/02/17

AU  - Dongol B

AU  - Hayes IJ

AU  - Struth G

ED  - 

DO  - DOI: 10.1145/2874773

VL  - 17

IS  - 3

Y2  - 2024/12/22

ER  -