Alison Panisson and Giovani Farias. 2024. A Multi-level Semantics Formalism for Multi-Agent Microservices. In Anais da XXXIV Brazilian Conference on Intelligent Systems, novembro 17, 2024, Belém/PA, Brasil. SBC, Porto Alegre, Brasil, 48-63.