Interprocedural analysis of asynchronous programs.

Ranjit Jhala, Rupak Majumdar

Browse the full POPL paper archive.