Konstantinos Kallas, Haoran Zhang, Rajeev Alur, Sebastian Angel, Vincent Liu 0001. Executing Microservice Applications on Serverless, Correctly. Proceedings of the ACM on Programming Languages, 7(POPL):367-395, January 2023. [doi]
Abstract is missing.