Deadlocks in distributed systems: request models and definitions | IEEE Conference Publication | IEEE Xplore