Context-sensitive synchronization-sensitive analysis is undecidable (0)

by G Ramalingam
Venue:ACM Trans. on Prog. Lang. Sys