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