Gurdip Singh. Specifying Synchronization in Distributed Shared Memory Programs. In 31st International Conference on Parallel Processing Workshops (ICPP 2002 Workshops), 20-23 August 2002, Vancouver, BC, Canada. pages 375-382, IEEE Computer Society, 2002. [doi]
Abstract is missing.