1. Fan, W., Geerts, F., Gelade, W., et al.: Complexity and composition of synthesized web services. In: Lenzerini, M., Lembothe, D. (eds.) Proceedings of 27th ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, pp. 231–240. ACM, Vancouver BC (2008)
2. Deng, T., Huai, J.P., et al.: Complexity of synthesis of composite service with correctness guarantee. Sci. Sinica Inf. 42(7), 789–802 (2012)
3. Ferrara, A.: Web services: a process algebra approach. In: Proceedings of the 2nd International Conference on Service Oriented Computing (ICSOC’04), pp. 242–251. IEEE, Piscataway, NJ (2004)
4. Ru, F., Zou, Z.L., Stratan, C., Fong, L.: Dynamic support for BPEL process instance adaptation. In: IEEE International Conference on Services Computing (SCC’08), vol. 1, pp. 327–334 (2008)
5. Lucchi, R., Mazzara, M.: A pi-calculus based semantics for WS-BPEL. J. Logic Algebraic Program. 70(1), 96–118 (2007)