Retracing some paths in Process Algebra

Abstract

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.

17 pages

Cited by in corpus (1)

• What are the fundamental structures of concurrency? We still don't know!