Yiling Yang, Yu Huang 0002, Jiannong Cao, Xiaoxing Ma, Jian Lu. Formal Specification and Runtime Detection of Dynamic Properties in Asynchronous Pervasive Computing Environments. IEEE Trans. Parallel Distrib. Syst., 24(8):1546-1555, 2013. [doi]
Abstract is missing.