Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes

Yanhua Du, PengCheng Xiong, Yushun Fan, Xitong Li. Dynamic Checking and Solution to Temporal Violations in Concurrent Workflow Processes. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 41(6):1166-1181, 2011. [doi]

Abstract

Abstract is missing.