%0 Journal Article
%T Interprocedural analysis of asynchronous programs
%A Jhala, Ranjit
%A Majumdar, Rupak
%J ACM SIGPLAN Notice
%V 42
%N 1
%P 339-350
%@ 0362-1340
%D 2007-01-17
%I ACM
%~ DeepDyve