16 citations · 39 across the 21 of their papers we have counts for
1 paper · 1 filter
Adrian Francalanza, Marco Giunti, António Ravara
We study the problem of disentangling locked processes via code refactoring. We identify and characterise a class of processes that is not lock-free; then we formalise an algorithm…