Jun Wei, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng. Modeling and Verifying Strong Cache Consistency for Mobile Data Access . In 12th International Symposium on Software Reliability Engineering (ISSRE 2001), 27-30 November 2001, Hong Kong, China. pages 103-111, IEEE Computer Society, 2001. [doi]
Abstract is missing.