@inproceedings{gabbrielli:hal-02365509, TITLE = {{No More, No Less - A Formal Model for Serverless Computing}}, AUTHOR = {Gabbrielli, Maurizio and Giallorenzo, Saverio and Lanese, Ivan and Montesi, Fabrizio and Peressotti, Marco and Zingaro, Stefano Pio}, URL = {https://inria.hal.science/hal-02365509}, NOTE = {Part 3: Exploring New Frontiers}, BOOKTITLE = {{COORDINATION 2019 - 21th International Conference on Coordination Languages and Models}}, ADDRESS = {Kongens Lyngby, Denmark}, EDITOR = {Hanne Riis Nielson and Emilio Tuosto}, PUBLISHER = {{Springer International Publishing}}, SERIES = {Coordination Models and Languages}, VOLUME = {LNCS-11533}, PAGES = {148-157}, YEAR = {2019}, MONTH = Jun, DOI = {10.1007/978-3-030-22397-7\_9}, PDF = {https://inria.hal.science/hal-02365509/file/478673_1_En_9_Chapter.pdf}, HAL_ID = {hal-02365509}, HAL_VERSION = {v1}, }