On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol

Viviana Mascardi, Daniela Briola, Davide Ancona. On the Expressiveness of Attribute Global Types: The Formalization of a Real Multiagent System Protocol. In Matteo Baldoni, Cristina Baroglio, Guido Boella, Roberto Micalizio, editors, AI*IA 2013: Advances in Artificial Intelligence - XIIIth International Conference of the Italian Association for Artificial Intelligence, Turin, Italy, December 4-6, 2013. Proceedings. Volume 8249 of Lecture Notes in Computer Science, pages 300-311, Springer, 2013. [doi]

Abstract

Abstract is missing.