%0 Conference Paper %1 conf/birthday/GiallorenzoLMSZ20 %A Giallorenzo, Saverio %A Lanese, Ivan %A Montesi, Fabrizio %A Sangiorgi, Davide %A Zingaro, Stefano Pio %B Gabbrielli's Festschrift %D 2020 %E de Boer, Frank S. %E Mauro, Jacopo %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 5:1-5:21 %T The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service. %U http://dblp.uni-trier.de/db/conf/birthday/gabbrielli2020.html#GiallorenzoLMSZ20 %V 86 %@ 978-3-95977-171-9

@inproceedings{conf/birthday/GiallorenzoLMSZ20, added-at = {2023-09-30T00:00:00.000+0200}, author = {Giallorenzo, Saverio and Lanese, Ivan and Montesi, Fabrizio and Sangiorgi, Davide and Zingaro, Stefano Pio}, biburl = {https://www.bibsonomy.org/bibtex/25852a39a4128099bd9b8cefe323a960a/dblp}, booktitle = {Gabbrielli's Festschrift}, crossref = {conf/birthday/2020gabbrielli}, editor = {de Boer, Frank S. and Mauro, Jacopo}, ee = {https://doi.org/10.4230/OASIcs.Gabbrielli.5}, interhash = {0d5a3dd84e4257c7f9fa410c263c4c23}, intrahash = {5852a39a4128099bd9b8cefe323a960a}, isbn = {978-3-95977-171-9}, keywords = {dblp}, pages = {5:1-5:21}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {OASIcs}, timestamp = {2024-04-09T14:05:38.000+0200}, title = {The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service.}, url = {http://dblp.uni-trier.de/db/conf/birthday/gabbrielli2020.html#GiallorenzoLMSZ20}, volume = 86, year = 2020 }