BIBLIOS

  Sistema de Gestão de Referências Bibliográficas de Ciências

Modo Visitante (Login)
Need help?


Voltar

Detalhes Referência

Tipo
Artigos em Revista

Tipo de Documento
Artigo Completo

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

Participantes na publicação
Luís Cruz-Filipe (Author)
Ivan Lanese (Author)
Francisco Martins (Author)
António Ravara (Author)
Vasco Thudichum Vasconcelos (Author)
Dep. Informática
LASIGE

Data de Publicação
2013-08-06

Suporte
Formal Aspects of Computing

Identificadores da Publicação
ISSN - 0934-5043

Editora
Springer Science and Business Media LLC

Volume
26
Fascículo
5

Número de Páginas
54
Página Inicial
865
Página Final
918

Identificadores do Documento
DOI - https://doi.org/10.1007/s00165-013-0284-5
URL - http://dx.doi.org/10.1007/s00165-013-0284-5


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 }