Modeling and Reasoning about Service Behaviors and Their Compositions.

Aida Causevic, Cristina Cerschi Seceleanu, Paul Pettersson

Browse the full ISoLA paper archive.