Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Davide Sangiorgi, Stefano Pio Zingaro. The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. In Frank S. de Boer, Jacopo Mauro, editors, Recent Developments in the Design and Implementation of Programming Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy. Volume 86 of OASIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020. [doi]
Abstract is missing.