Ndombe Cacutalua

• On deadlocks in concurrent systems