Boreale, Michele and Bruni, Roberto and De Nicola, Rocco and Loreti, Michele  CaSPiS: A Calculus of Sessions, Pipelines and Services.  CSA Technical Report  #03/2013    IMT Institute for Advanced Studies Lucca