Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro, Iacopo Talevi, Gianluigi Zavattaro. A Formal Approach to Microservice Architecture Deployment. In Antonio Bucchiarone, Nicola Dragoni, Schahram Dustdar, Patricia Lago, Manuel Mazzara, Victor Rivera, Andrey Sadovykh, editors, Microservices, Science and Engineering. pages 183-208, Springer, 2020. [doi]
Abstract is missing.