Retracing some paths in Process Algebra
  We use traced monoidal categories to give a precise general version of "geometry of interaction". We give a number of examples of both "particle-style" and "wave-style" instances of this construction. We relate these ideas to semantics of computation. 
Samson Abramsky
cs.LO