The Fusion calculus, Solos, and their graphical representation

Bjorn Victor

I present the fusion calculus and the subcalculus without suffixes.
Without any explicit sequential composition, this calculus is powerful
enough to encode the full calculus with the usual prefix operator.
A graphical representation of the calculus, Interaction Diagrams,
corresponding precisely to the terms of the calculus, are introduced
together with some initial work on tools for it.