A Calculus for Orchestration of Web Services (2007)

by A Lapadula, R Pugliese, F Tiezzi
Venue:In ESOP 2007: Proceedings of 16th European Symposium on Programming, volume 4421 of LNCS