Executable specification of open multi-agent systems.
Alexander ArtikisMarek J. SergotPublished in: Log. J. IGPL (2010)
Keyphrases
- open multi agent systems
- formal specification
- electronic institutions
- multi agent systems
- attribute grammars
- high level
- software agents
- specification language
- case study
- concurrent systems
- control flow
- protocol specification
- real time
- temporal ordering
- formal languages
- provably correct
- model checking
- multi agent
- website
- artificial intelligence
- databases