Verification of Temporal Constraints for Concurrent Workflows.

Hongchen Li, Yun Yang

Browse the full APWEB paper archive.