Formal foundations of serverless computing

Abhinav Jangda, Donald Pinckney, Yuriy Brun, Arjun Guha. Formal foundations of serverless computing. Proceedings of the ACM on Programming Languages, 3(OOPSLA), 2019. [doi]

Abstract

Abstract is missing.