Jingfu Zhong, Binheng Song. Verification of Resource Constraints for Concurrent Workflows. In Seventh International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2005), 25-29 September 2005, Timisoara, Romania. pages 353-360, IEEE Computer Society, 2005. [doi]
Abstract is missing.