TY  - RPRT
TI  - Formal Foundations of Serverless Computing
AU  - Abhinav Jangda
AU  - Donald Pinckney
AU  - Yuriy Brun
AU  - Arjun Guha
PY  - 2020
DO  - 10.1145/3360575
UR  - https://arxiv.org/abs/1902.05870
ID  - 1902.05870
ER  -