Open protocol design for complex interactions in multi-agent systems

• 1 January 2002
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 517-526
• https://doi.org/10.1145/544862.544866

Abstract

Keywords

• AUML
• COLORED PETRI NETS
• DISTRIBUTED OBSERVATION
• FORMAL SPECIFICATION
• PROTOCOL DIAGRAMS
• TRUE CONCURRENCY
• VALIDATION