Laouadi, M. A.; Nessah, D.; Lakhfif, A. Towards a Rewriting Logic-Based Framework for Specifying FIPA Request Protocols. IJCESEN 2025, 11.