An extension of UML by protocols for multi-agent interaction

Publisher Website

7 November 2002

proceedings article
Published by Institute of Electrical and Electronics Engineers (IEEE)

p. 207-214
https://doi.org/10.1109/icmas.2000.858455

Abstract

No abstract available

This publication has 3 references indexed in Scilit:

COMPOSITIONAL VERIFICATION OF MULTI-AGENT SYSTEMS: A FORMAL ANALYSIS OF PRO-ACTIVENESS AND REACTIVENESS
International Journal of Cooperative Information Systems, 2002
Specification of Bahavioural Requirements within Compositional Multi-agent System Design
Published by Springer Nature ,1999
A Roadmap of Agent Research and Development
Autonomous Agents and Multi-Agent Systems, 1998