Formal Modeling and Discrete-Time Analysis of BPEL Web Services.

Radu Mateescu, Sylvain Rampacek

Browse the full CaiSE paper archive.