CaSPiS: a calculus of sessions, pipelines and services

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

Abstract

Abstract is missing.