@inproceedings{LPT07:Blite,
title = {A formal account of {WS-BPEL}},
author = {A.~Lapadula and R.~Pugliese and F.~Tiezzi},
booktitle = {Proc. 10th international conference on Coordination Models
and Languages (COORDINATION'08)},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {5052},
pages = {199-215},
year = {2008},
}