TY  - RPRT
TI  - No more, no less - A formal model for serverless computing
AU  - Maurizio Gabbrielli
AU  - Saverio Giallorenzo
AU  - Ivan Lanese
AU  - Fabrizio Montesi
AU  - Marco Peressotti
AU  - Stefano Pio Zingaro
PY  - 2019
UR  - https://arxiv.org/abs/1903.07962
ID  - 1903.07962
ER  -