42 citations · 64 across the 12 of their papers we have counts for
1 paper · 1 filter
Abel Garcia, Cosimo Laneve
This paper presents a technique for deadlock detection of Java programs. The technique uses typing rules for extracting infinite-state abstract models of the dependencies among the…