A Lightweight Formal Framework for Service-Oriented Applications Design.

Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio Marchese

Browse the full ICSOC paper archive.