The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service

@inproceedings{DBLP:conf/birthday/GiallorenzoLMSZ20,
  author       = {Saverio Giallorenzo and
                  Ivan Lanese and
                  Fabrizio Montesi and
                  Davide Sangiorgi and
                  Stefano Pio Zingaro},
  editor       = {Frank S. de Boer and
                  Jacopo Mauro},
  title        = {The Servers of Serverless Computing: {A} Formal Revisitation of Functions
                  as a Service},
  booktitle    = {Recent Developments in the Design and Implementation of Programming
                  Languages, Gabbrielli's Festschrift, November 27, 2020, Bologna, Italy},
  series       = {OASIcs},
  volume       = {86},
  pages        = {5:1--5:21},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/OASIcs.Gabbrielli.5},
  doi          = {10.4230/OASICS.GABBRIELLI.5},
  timestamp    = {Wed, 21 Aug 2024 22:46:00 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/GiallorenzoLMSZ20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}