A calculus for orchestration of web services (2012)

by R Pugliese, F Tiezzi
Venue:J. Applied Logic