Tengfei An, Maria Potop-Butucaru. A Formal Model of Multi-Controller Orchestration Systems in Cloud Management. In Dennis Olivetti, Eric Ruppert, editors, Proceedings of the Workshop on Advanced Tools, Programming Languages, and PLatforms for Implementing and Evaluating algorithms for Distributed systems, ApPLIED 2026, Royal Holloway, Egham, United Kingdom, July 6-10, 2026. ACM, 2026. [doi]
Abstract is missing.