12 citations · 17 across the 5 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…