Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic

Mihoub Mazouz, Farid Mokhati, Mourad Badri. Formal Development of Multi-Agent Systems with FPASSI: Towards Formalizing PASSI Methodology using Rewriting Logic. Informatica (Slovenia), 41(2), 2017. [doi]

Abstract

Abstract is missing.