An abstract model of service discovery and binding

TitleAn abstract model of service discovery and binding
Publication TypeJournal Article
Year of Publication2011
AuthorsFiadeiro, J. Luiz, A. Lopes, and L. Bocchi
JournalFormal Aspects of Computing
Volume23
Pagination433–463