Jing Zhang, Haiyang Wang. A Composition-Oriented Approach for Business Process Formal Design. In Proceedings of the 10th International Conference on CSCW in Design, CSCWD 2006, May 3-5, 2006, Southeast University, Nanjing, China. pages 449-454, IEEE, 2006. [doi]
Abstract is missing.