42 citations · 64 across the 12 of their papers we have counts for
1 paper · 1 filter
Elena Giachino, Cosimo Laneve
Deadlock detection in recursive programs that admit dynamic resource creation is extremely complex and solutions either give imprecise answers or do not scale. We define an algorit…