CaSPiS: a calculus of sessions, pipelines and services


Service-oriented computing is calling for novel computational models and languages with well disciplined primitives for client-server interaction, structured orchestration and unexpected events handling. We present CaSPiS, a process calculus where the conceptual abstractions of sessioning and pipelining play a central role for modelling service-oriented… (More)
DOI: 10.1017/S0960129512000953

5 Figures and Tables


  • Presentations referencing similar topics