Wei Chen Jan Tijmen Udding Tom Verhoeff Networks of Communicating Processes and Their (De-)Composition. 174-196 1989 conf/mpc/1989 MPC db/conf/mpc/mpc89.html#ChenUV89