A formal model for service-oriented interactions

TitleA formal model for service-oriented interactions
Publication TypeJournal Article
Year of Publication2012
AuthorsFiadeiro, J., A. Lopes, and J. Abreu
JournalScience of Computer Programming
Volume77
Pagination577–608