Leveraging service oriented programming paradigm would significantly affect the way people build software systems. This paper contributes to the above goal proposing a lightweight formal framework capable of capturing the essential components of service-oriented programming paradigm.
Aliaksei Yanchuk, Alexander Ivanyukovich, Maurizio