The following publications are possibly variants of this publication:
- Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing EnvironmentsYiling Yang, Yu Huang 0002, Jiannong Cao, Xiaoxing Ma, Jian Lu. tpds, 24(8):1546-1555, 2013. [doi]
- Detection of Behavioral Contextual Properties in Asynchronous Pervasive Computing EnvironmentsYu Huang 0002, Jianping Yu, Jiannong Cao, XianPing Tao. icpads 2010: 75-82 [doi]
- Interactive Environment-Aware Handheld Projectors for Pervasive Computing SpacesDavid Molyneaux, Shahram Izadi, David Kim, Otmar Hilliges, Steve Hodges, Xiang Cao, Alex Butler, Hans Gellersen. pervasive 2012: 197-215 [doi]