Efficient Java/sup TM/ monitors | IEEE Conference Publication | IEEE Xplore