Modeling and Verifying Strong Cache Consistency for Mobile Data Access .

Jun Wei, Shing-Chi Cheung, Huan Zhou, Xu Wang, Jing Li, Yulin Feng

Browse the full ISSRE paper archive.