F.: A calculus for orchestration of web services. (2008)

by A Lapadula, R Pugliese, Tiezzi
Venue:ESOP 2007. LNCS,