A type reduction theory for systems with replicated components (Logical Methods in Computer Science, 2012)