Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele CaSPiS: a calculus of sessions, pipelines and services. Mathematical Structures in Computer Science, 25 (3). pp. 666-709. ISSN 0960-1295 (2015)