Text this: A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes