A generic approach to the static analysis of concurrent programs with procedures (2003)

by A Bouajjani, J Esparza, T Touili
Venue:In Proceedings of the 30th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL