Formal Semantics for AUML Agent Interaction Protocol Diagrams
- 1 January 2005
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Representing Agent Interaction Protocols with Agent UMLPublished by Springer Nature ,2005
- An Extensible Editor and Simulation Engine for Petri Nets: RenewPublished by Springer Nature ,2004
- A Proposal for Structuring Petri Net-Based Agent Interaction ProtocolsPublished by Springer Nature ,2003
- Concurrent Architecture for a Multi-agent PlatformPublished by Springer Nature ,2003
- Extended Modeling Languages for Interaction Protocol DesignPublished by Springer Nature ,2002
- Modelling the Structure and Behaviour of Petri Net AgentsPublished by Springer Nature ,2001
- Representing Agent Interaction Protocols in UMLPublished by Springer Nature ,2001