CaSPiS: A Calculus of Sessions, Pipelines and Services