Exportar referência
APA
Luís Cruz-Filipe, Ivan Lanese, Francisco Martins, António Ravara, Vasco Thudichum Vasconcelos, (2013). The stream-based service-centred calculus: a foundation for service-oriented programming. Formal Aspects of Computing, 26, 865-918. ISSN 0934-5043. eISSN . http://dx.doi.org/10.1007/s00165-013-0284-5
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. 26, pp. 865-918, 2013.
10.1007/s00165-013-0284-5
BIBTEX
@article{51003,
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 = 2013,
pages = {865-918},
volume = 26
}