Erratum to: What Is a Procedure?

  • Eric C. R. Hehner


  1. 1.
    Akka (2017)
  2. 2.
    Dragoni, N., Dustdar, S., Larsen, S.T., Mazzara, M.: Microservices: migration of a mission critical system (2017). Google Scholar
  3. 3.
    Dragoni, N., Giallorenzo, S., Lluch-Lafuente, A., Mazzara, M., Montesi, F., Mustafin, R., Safina, L.: Microservices: yesterday, today, and tomorrow. In: Present and Ulterior Software Engineering. Springer, Berlin (2017)Google Scholar
  4. 4.
    Dragoni, N., Lanese, I., Larsen, S. T., Mazzara, M., Mustafin, R., Safina, L.: Microservices: how to make your application scale. In: A.P. Ershov Informatics Conference. The PSI Conference Series, 11th edn. Springer, Berlin (2017)Google Scholar
  5. 5.
  6. 6.
    Fowler, M., Lewis, J.: Microservices. ThoughtWorks (2014)Google Scholar
  7. 7.
    Go language (2017)
  8. 8.
    Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: a calculus for service oriented computing. In: ICSOC. Lecture Notes in Computer Science, vol. 4294, pp. 327–338. Springer, Berlin (2006)CrossRefGoogle Scholar
  9. 9.
    Hüttel, H., et al.: Foundations of session types and behavioural contracts. ACM Comput. Surv. 49(1), 3:1–3:36 (2016)CrossRefGoogle Scholar
  10. 10.
    MacKenzie, M.C., et al.: Reference model for service oriented architecture 1.0. OASIS Standard, 12 (2006)Google Scholar
  11. 11.
    Martin, R.C.: Agile Software Development: Principles, Patterns, and Practices. Prentice Hall PTR, Englewood Cliffs (2003)Google Scholar
  12. 12.
     Merkel, D.: Docker: lightweight linux containers for consistent development and deployment. Linux J. 2014(239), 2 (2014)Google Scholar
  13. 13.
    Milner, R.: A Calculus of Communicating Systems. Lecture Notes in Computer Science, vol. 92. Springer, Berlin (1980)Google Scholar
  14. 14.
    Montesi, F.: Process-aware web programming with Jolie. Sci. Comput. Program. 130, 69–96 (2016)CrossRefGoogle Scholar
  15. 15.
     Montesi, F., Carbone, M.: Programming services with correlation sets. In: ICSOC. Lecture Notes in Computer Science, vol. 7084, pp. 125–141. Springer, Berlin (2011)CrossRefGoogle Scholar
  16. 16.
    Montesi, F., Guidi, C., Zavattaro, G.: Composing services with JOLIE. In: ECOWS, pp. 13–22. IEEE Computer Society, Los Alamitos (2007)Google Scholar
  17. 17.
    Montesi, F., Guidi, C., Zavattaro, G.: Service-oriented programming with Jolie. In: Web Services Foundations, pp. 81–107. Springer, Berlin (2014)Google Scholar
  18. 18.
     Newman, S.: Building Microservices. O’Reilly Media, Sebastopol (2015)Google Scholar
  19. 19.
    OASIS: Web Services Business Process Execution Language Version 2.0 (2007)
  20. 20.
    Safina, L., Mazzara, M., Montesi, F., Rivera, V.: Data-driven workflows for microservices (genericity in jolie). In: Proceedings of the 30th IEEE International Conference on Advanced Information Networking and Applications (AINA) (2016)Google Scholar
  21. 21.
    The Jolie language website (2017)
  22. 22.
    Yan, Z., Mazzara, M., Cimpian, E., Urbanec, A.: Business process modeling: classifications and perspectives. In: Business Process and Services Computing: 1st International Working Conference on Business Process and Services Computing, BPSC 2007, September 25–26, 2007, Leipzig, p. 222 (2007)Google Scholar

Copyright information

© Springer International Publishing AG 2018

Authors and Affiliations

  1. 1.University of TorontoTorontoCanada

Personalised recommendations