42 citations · 48 across the 3 of their papers we have counts for
1 paper · 1 filter
Elena Giachino, Cosimo Laneve, Michael Lienhardt
We present a framework for statically detecting deadlocks in a concurrent object-oriented language with asynchronous method calls and cooperative scheduling of method activations.…