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 - 2025/07/14 ER -