Export
APA
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos, (2014). The stream-based service-centred calculus: a foundation for service-oriented programming
. FORMAL ASPECTS OF COMPUTING, 16, 865-918. ISSN 0934-5043. eISSN .
IEEE
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos, "The stream-based service-centred calculus: a foundation for service-oriented programming
" in FORMAL ASPECTS OF COMPUTING, vol. 16, pp. 865-918, 2014.
10.1007/s00165-013-0284-5
BIBTEX
@article{34264,
author = {Luís Cruz-Filipe and Ivan Lanese and Francisco Martins and António Ravara and Vasco Thudichum Vasconcelos},
title = {The stream-based service-centred calculus: a foundation for service-oriented programming
},
journal = {FORMAL ASPECTS OF COMPUTING},
year = 2014,
pages = {865-918},
volume = 16
}