Core calculi for service-oriented computing

TitleCore calculi for service-oriented computing
Publication TypeBook Chapter
Year of Publication2011
AuthorsCaires, L., R. De Nicola, R. Pugliese, V. T. Vasconcelos, and G. Zavattaro
Book TitleRigorous software engineering for service-oriented systems
Pagination153–188
PublisherSpringer Berlin Heidelberg