No More, No Less - A Formal Model for Serverless Computing.

Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro

Browse the full Coordination paper archive.