Interaction Protocol Engineering

This publication has 8 references indexed in Scilit:

• Design Agent Interaction as a Service to Agents
  Published by Springer Nature ,2003
• Extended Modeling Languages for Interaction Protocol Design
  Published by Springer Nature ,2002
• What Is a Conversation Policy?
  Published by Springer Nature ,2000
• The Gaia Methodology for Agent-Oriented Analysis and Design
  Autonomous Agents and Multi-Agent Systems, 2000
• The model checker SPIN
  IEEE Transactions on Software Engineering, 1997
• High-level Petri Nets
  Published by Springer Nature ,1991
• Negotiation as a metaphor for distributed problem solving
  Artificial Intelligence, 1983
• Speech Acts
  Published by Cambridge University Press (CUP) ,1969