@misc{indiciaead980d989ad7,
  title = {No more, no less - A formal model for serverless computing},
  author = {Maurizio Gabbrielli and Saverio Giallorenzo and Ivan Lanese and Fabrizio Montesi and Marco Peressotti and Stefano Pio Zingaro},
  year = {2019},
  url = {https://arxiv.org/abs/1903.07962},
  note = {Source identifier: 1903.07962}
}