34 citations · 49 across the 7 of their papers we have counts for
Showing 2012 · cs.LOShow all
2 papers · 2 filters
cs.LO2012★ 34 cited
Reachability Analysis of Communicating Pushdown Systems
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…
cs.LO2012★ 3 cited
Queue-Dispatch Asynchronous Systems
Gilles Geeraerts, Alexander Heußner, Jean-François Raskin
To make the development of efficient multi-core applications easier, libraries, such as Grand Central Dispatch, have been proposed. When using such a library, the programmer writes…