Publisher
Springer International Publishing
Reference14 articles.
1. A. Lapadula, R. Pugliese, F. Tiezzi, A calculus for orchestration of web services, in European Symposium on Programming (Springer, 2007), pp. 33–47
2. H.T. Vieira, L. Caires, J.C. Seco, The conversation calculus: a model of service-oriented computation, in European Symposium on Programming (Springer, 2008), pp. 269–283
3. R. Hamadi, B. Benatallah, A Petri net-based model for web service composition, in Proceedings of the 14th Australasian database conference, vol. 17, pp. 191–200 (2003)
4. M. Autili, P. Inverardi, M. Tivoli, Automated synthesis of service choreographies. IEEE Softw. 32(1), 50–57 (2014)
5. D. Ancona, V. Bono, M. Bravetti, J. Campos, G. Castagna, P. Deniélou, S.J. Gay, N. Gesbert, E. Giachino, R. Hu, et al., Behavioral types in programming languages. Found. Trends® Program. Lang. 3(2–3), 95–230 (2016)