"Efficiently Verifiable Conditions for Deadlock-Freedom of Large Concurrent ..."

Paul C. Attie, Hana Chockler (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics