LP Deadlock Checking Using Partial Order Dependencies.

Victor Khomenko, Maciej Koutny

Browse the full CONCUR paper archive.