Formal specification and runtime detection of temporal properties for asynchronous context.

Hengfeng Wei Yu Huang 0002 Jiannong Cao 0001 Xiaoxing Ma Jian Lu 0001 Formal specification and runtime detection of temporal properties for asynchronous context. 30-38 2012 PerCom https://doi.org/10.1109/PerCom.2012.6199846 https://doi.ieeecomputersociety.org/10.1109/PerCom.2012.6199846 https://www.wikidata.org/entity/Q60248591 conf/percom/2012 db/conf/percom/percom2012.html#WeiHCML12