A two-level distributed detection algorithm of AND/OR deadlocks
scientific article; zbMATH DE number 799666