Formalization and Pre-Validation for Interaction Protocols in a Multi Agent Systems.

Jean-Luc Koning, Guillaume Franois, Yves Demazeau

Browse the full ECAI paper archive.