Deadlock analysis of client/server programs | IEEE Conference Publication | IEEE Xplore