generated at
Dead-lock freedom
絶対にデッドロックしないことを静的検査する
https://www.sciencedirect.com/topics/computer-science/deadlock-freedom
https://users.soe.ucsc.edu/~cormac/papers/esop99.pdf