Laouadi, Mohamed Amin, et al. “Towards a Rewriting Logic-Based Framework for Specifying FIPA Request Protocols”. International Journal of Computational and Experimental Science and Engineering, vol. 11, no. 4, Oct. 2025, doi:10.22399/ijcesen.4007.