Colimits for Concurrent Collectors - Pavlovic, D; Pepper, P; Smith, D (Verification — Theory and Practice. Essays Dedicated to Zohar Mana on the Occasion of His 64th Birthday, 2003)