Hengfeng Wei, Yu Huang 0002, Jiannong Cao, Xiaoxing Ma, Jian Lu. Formal specification and runtime detection of temporal properties for asynchronous context. In Silvia Giordano, Marc Langheinrich, Albrecht Schmidt, editors, 2012 IEEE International Conference on Pervasive Computing and Communications, Lugano, Switzerland, March 19-23, 2012. pages 30-38, IEEE, 2012. [doi]
Abstract is missing.