Specifying and composing interaction protocols for service-oriented system modelling

TitleSpecifying and composing interaction protocols for service-oriented system modelling
Publication TypeBook Chapter
Year of Publication2007
AuthorsAbreu, J., L. Bocchi, J. Luiz Fiadeiro, and A. Lopes
Book TitleFormal Techniques for Networked and Distributed Systems–FORTE 2007
Pagination358–373
PublisherSpringer Berlin Heidelberg