Reachability Analysis of Communicating Pushdown Systems.

Alexander Heuner, Jrme Leroux, Anca Muscholl, Grgoire Sutre

Browse the full FOSSACS paper archive.