A formal approach to service-oriented modelling

TitleA formal approach to service-oriented modelling
Publication TypeJournal Article
Year of Publication2009
AuthorsFiadeiro, J. Luiz, A. Lopes, L. Bocchi, and J. Abreu
Journal9th International School on Formal Methods for the Design of Computer, Communication and Software Systems: Web Services