A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes (Logical Methods in Computer Science, 2009)