BIBLIOS

   Ciências References Management System

Visitor Mode (Login)
Need help?


Back

Publication details

Document type
Journal articles

Document subtype
Full paper

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

Participants in the publication
Luís Cruz-Filipe (Author)
Ivan Lanese (Author)
Francisco Martins (Author)
António Ravara (Author)
Vasco Thudichum Vasconcelos (Author)
Dep. Informática
 LASIGE
Date of Publication
2013-08-06

Where published
Formal Aspects of Computing

Publication Identifiers
ISSN - 0934-5043

Publisher
Springer Science and Business Media LLC

Volume
26
Number
5

Number of pages
54
Starting page
865
Last page
918

Document Identifiers
DOI - https://doi.org/10.1007/s00165-013-0284-5
URL - http://dx.doi.org/10.1007/s00165-013-0284-5


Export

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 }