Sessions and Pipelines for Structured Service Programming

Lecture Notes in Computer Science - Formal Methods for Open Object-Based Distributed Systems ◽

10.1007/978-3-540-68863-1_3 ◽

2008 ◽

pp. 19-38 ◽

Cited By ~ 62

Author(s):

Michele Boreale ◽

Roberto Bruni ◽

Rocco De Nicola ◽

Michele Loreti

Download Full-text