The efficient implementation of wait statements | IEEE Conference Publication | IEEE Xplore