Hubert Garavel Mihaela Sighireanu A Graphical Parallel Composition Operator for Process Algebras. 185-202 1999 conf/forte/1999 FORTE db/conf/forte/forte1999.html#GaravelS99