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

Vineet Kahlon

Browse the full LICS paper archive.