Compensable Programs - Formal Methods and Hybrid Real-Time Systems - page 363

15. Leymann, F.: Web Service Flow Language (WSFL1.0). IBM (2001)
16. Laneve, C., et al.: Web-pi at work. In: De Nicola, R., Sangiorgi, D. (eds.) TGC
2005. LNCS, vol. 3705, pp. 182-194. Springer, Heidelberg (2005)
17. Jing, L., Jifeng, H., Geguang, P.: Towards the Semantics for Web Services Chore-
ography Description Language. In: Liu, Z., He, J. (eds.) ICFEM 2006. LNCS,
vol. 4260, pp. 246-263. Springer, Heidelberg (2006)
18. Lucchi, R., Mazzara, M.: A Pi-calculus based semantics for WS-BPEL. Journal of
Logic and Algebraic Programming (in press)
19. Milner, R.: Communication and Mobile System: the π -calculus. Cambridge Uni-
versity Press, Cambridge (1999)
20. Morris, J.M.: Non-deterministic expressions and predicate transformers. Informa-
tion Processing Letters 61, 241-246 (1997)
21. Geguang, P., et al.: Theoretical Foundation of Scope-based Compensation Flow
Language for Web Service. In: Ning, P., Qing, S., Li, N. (eds.) ICICS 2006. LNCS,
vol. 4307, pp. 251-266. Springer, Heidelberg (2006)
22. Qiu, Z.Y., et al.: Semantics of BPEL4WS-Like Fault and Compensation Handling.
In: Fitzgerald, J.A., Hayes, I.J., Tarlecki, A. (eds.) FM 2005. LNCS, vol. 3582, pp.
350-365. Springer, Heidelberg (2005)
23. Tarski, A.: A lattice-theoretical fixpoint theorem and its applications. Pacific Jour-
nal of Mathematics 5, 285-309 (1955)
24. Thatte, S.: XLANG: Web Service for Business Process Design. Microsoft, Red-
mond, Washington (2001)