The stream-based service-centred calculus: a foundation for service-oriented programming

TitleThe stream-based service-centred calculus: a foundation for service-oriented programming
Publication TypeJournal Article
Year of Publication2014
AuthorsCruz-Filipe, L., I. Lanese, F. Martins, A. Ravara, and V. T. Vasconcelos
JournalFormal Aspects of Computing
Volume26
Pagination865–918