Mustaque Ahamad, Francisco J. Torres-Rojas, Rammohan Kordale, Jasjit Singh, Shawn Smith. Detecting Mutual Consistency of Shared Objects. In First Workshop on Mobile Computing Systems and Applications, WMCSA 1994, Santa Cruz, CA, USA, December 8-9, 1994. pages 44-50, IEEE Computer Society, 1994. [doi]
Abstract is missing.