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. Formal Asp. Comput., 26(5):865-918, 2014. [doi]
Abstract is missing.