Parameterization as Abstraction: A Tractable Approach to the Dataflow Analysis of Concurrent Programs