34 citations · 78 across the 22 of their papers we have counts for
1 paper · 2 filters
Alexander Heussner, Jérôme Leroux, Anca Muscholl +1
The reachability analysis of recursive programs that communicate asynchronously over reliable FIFO channels calls for restrictions to ensure decidability. Our first result characte…