No More, No Less - A Formal Model for Serverless Computing

Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro. No More, No Less - A Formal Model for Serverless Computing. In Hanne Riis Nielson, Emilio Tuosto, editors, Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings. Volume 11533 of Lecture Notes in Computer Science, pages 148-157, Springer, 2019. [doi]

@inproceedings{GabbrielliGLMPZ19,
  title = {No More, No Less - A Formal Model for Serverless Computing},
  author = {Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Fabrizio Montesi and Marco Peressotti and Stefano Pio Zingaro},
  year = {2019},
  doi = {10.1007/978-3-030-22397-7_9},
  url = {https://doi.org/10.1007/978-3-030-22397-7_9},
  researchr = {https://researchr.org/publication/GabbrielliGLMPZ19},
  cites = {0},
  citedby = {0},
  pages = {148-157},
  booktitle = {Coordination Models and Languages - 21st IFIP WG 6.1 International Conference, COORDINATION 2019, Held as Part of the 14th International Federated Conference on Distributed Computing Techniques, DisCoTec 2019, Kongens Lyngby, Denmark, June 17-21, 2019, Proceedings},
  editor = {Hanne Riis Nielson and Emilio Tuosto},
  volume = {11533},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-030-22397-7},
}