Use of sequencing constraints for specifying, testing, and debugging concurrent programs | IEEE Conference Publication | IEEE Xplore