A Formal Account of WS-BPEL (0)

by Alessandro Lapadula, Rosario Pugliese, Francesco Tiezzi
Venue:In Proceedings of 10th International Conference on Coordination Models and Languages, LNCS