Hong Zhu, Hongbo Wang, Ian Bayley. Formal Analysis of Load Balancing in Microservices with Scenario Calculus. In 11th IEEE International Conference on Cloud Computing, CLOUD 2018, San Francisco, CA, USA, July 2-7, 2018. pages 908-911, IEEE Computer Society, 2018. [doi]
Abstract is missing.