Multisets and structutal congruence of pi-calculus with replication