A Graphical Parallel Composition Operator for Process Algebras.

Hubert Garavel, Mihaela Sighireanu

Browse the full FORTE paper archive.