Deadlock Detection by Pair Reachability Analysis: From Cyclic to Multi-Cyclic Protocols (and Beyond?).

Hong Liu, Raymond E. Miller, Hans van der Schoot, Hasan Ural

Browse the full ICDCS paper archive.