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]

Authors

Michele Boreale

This author has not been identified. Look up 'Michele Boreale' in Google

Roberto Bruni

This author has not been identified. Look up 'Roberto Bruni' in Google

Rocco De Nicola

This author has not been identified. Look up 'Rocco De Nicola' in Google

Michele Loreti

This author has not been identified. Look up 'Michele Loreti' in Google