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

Hengfeng Wei, Yu Huang, Jiannong Cao, Xiaoxing Ma, Jian Lu

Browse the full PERCOM paper archive.