Radu Mateescu, Sylvain Rampacek. Formal Modeling and Discrete-Time Analysis of BPEL Web Services. In Jan L. G. Dietz, Antonia Albani, Joseph Barjis, editors, Advances in Enterprise Engineering I, 4th International Workshop CIAO! and 4th International Workshop EOMAS, held at CAiSE 2008, Montpellier, France, June 16-17, 2008. Proceedings. Volume 10 of Lecture Notes in Business Information Processing, pages 179-193, Springer, 2008. [doi]
Abstract is missing.