Effective Models for the Structure of pi-Calculus Processes with Replication door T.E. Gelsema