Formalizing languages for service oriented computing

Service Oriented Computing is a new programming paradigm for addressing distributed system design issues. Services are autonomous computational entities which can be dynamically discovered and composed in order to form more complex systems able to achieve different kinds of task. E-government, e-bus...

Full description

Bibliographic Details
Main Author: Guidi, Claudio <1974>
Other Authors: Gorrieri, Roberto
Format: Doctoral Thesis
Language:en
Published: Alma Mater Studiorum - Università di Bologna 2007
Subjects:
Online Access:http://amsdottorato.unibo.it/373/