Federico Bergenti, Eleonora Iotti, Agostino Poggi. Outline of a Formalization of JADE Multi-Agent Systems. In Claudia Di Napoli, Silvia Rossi, Mariacarla Staffa, editors, Proceedings of the 16th Workshop "From Objects to Agents", Naples, Italy, June 17-19, 2015. Volume 1382 of CEUR Workshop Proceedings, pages 123-128, CEUR-WS.org, 2015. [doi]
Abstract is missing.