No more, no less - A formal model for serverless computing
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese, Fabrizio Montesi, Marco Peressotti, Stefano Pio Zingaro
[2019].
In CoRR abs/1903.07962.
@article{DBLP:journals/corr/abs-1903-07962, author = {Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Fabrizio Montesi and Marco Peressotti and Stefano Pio Zingaro}, title = {No more, no less - {A} formal model for serverless computing}, journal = {CoRR}, volume = {abs/1903.07962}, year = {2019}, url = {http://arxiv.org/abs/1903.07962}, eprinttype = {arXiv}, eprint = {1903.07962}, timestamp = {Sat, 23 Jan 2021 01:17:26 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-1903-07962.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }