Specifying synchronization in distributed shared memory programs | IEEE Conference Publication | IEEE Xplore