Efficient handling of message-dependent deadlock | IEEE Conference Publication | IEEE Xplore