%0 Journal Article %1 journals/fac/Cruz-FilipeLMRV14 %A Cruz-Filipe, Luís %A Lanese, Ivan %A Martins, Francisco %A Ravara, António %A Vasconcelos, Vasco Thudichum %D 2014 %J Formal Aspects Comput. %K dblp %N 5 %P 865-918 %T The stream-based service-centred calculus: a foundation for service-oriented programming. %U http://dblp.uni-trier.de/db/journals/fac/fac26.html#Cruz-FilipeLMRV14 %V 26

@article{journals/fac/Cruz-FilipeLMRV14, added-at = {2022-05-09T00:00:00.000+0200}, author = {Cruz-Filipe, Luís and Lanese, Ivan and Martins, Francisco and Ravara, António and Vasconcelos, Vasco Thudichum}, biburl = {https://www.bibsonomy.org/bibtex/22b3fc6cf5243950a4bebac9da7ff439a/dblp}, ee = {https://doi.org/10.1007/s00165-013-0284-5}, interhash = {7a713d946e97dda98efed16d6e9855d0}, intrahash = {2b3fc6cf5243950a4bebac9da7ff439a}, journal = {Formal Aspects Comput.}, keywords = {dblp}, number = 5, pages = {865-918}, timestamp = {2024-04-09T05:37:43.000+0200}, title = {The stream-based service-centred calculus: a foundation for service-oriented programming.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac26.html#Cruz-FilipeLMRV14}, volume = 26, year = 2014 }