Propagation-Aware Temporal Verification for Parallel Business Cloud Workflows.

Haoyu Luo, Xiao Liu, Jin Liu, Yun Yang

Browse the full ICWS paper archive.