TY - RPRT TI - Convolution, Separation and Concurrency AU - Brijesh Dongol AU - Ian J. Hayes AU - Georg Struth PY - 2014 UR - https://arxiv.org/abs/1410.4235 ID - 1410.4235 ER -