Return to Article Details Towards a Rewriting Logic-Based Framework for Specifying FIPA Request Protocols Download Download PDF