An incremental approach for detecting distributed deadlocks in the generalized model

From MaRDI portal
Publication:2118403