Formal Foundations of Serverless Computing

Abhinav Jangda, Donald Pinckney, Samuel Baxter, Joseph Spitzer, Breanna Devore-McDonald, Yuriy Brun, Arjun Guha
, 2018
Draft

PDF