# Retracing some paths in Process Algebra

arXiv: https://arxiv.org/abs/1401.5113 · HTML: https://mlsanity.com/paper/1401.5113/

## Key facts

- Cited by 2 papers in the map (data through 14 Oct 2026).
- First posted on arXiv 20 Jan 2014.

## Built on by (most cited first, 2 of 2)

- [Distilling Text into Circuits](https://mlsanity.com/paper/2301.10595/) (2023)
- [How to make qubits speak](https://mlsanity.com/paper/2107.06776/) (2021)

## Abstract (arXiv)

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.