"No more, no less - A formal model for serverless computing."

Maurizio Gabbrielli et al. (2019)
a service of Schloss Dagstuhl - Leibniz Center for Informatics