LCIASA: A Useful Language for Specification and Verification of Agent-Based Systems.
Nicandro Farías MendozaFélix F. Ramos CorchadoVictor M. Larios-RosilloPublished in: OPODIS (2002)
Keyphrases
- agent based systems
- specification language
- formal verification
- formal language
- distributed systems
- agent systems
- formal specification
- model checking
- software agents
- agent technology
- multi agent systems
- asynchronous circuits
- language learning
- dynamic environments
- operational semantics
- multiagent systems
- programming language
- natural language
- concurrent systems
- action language
- formal languages
- protocol specification
- conceptual models
- description language
- high level
- language constructs
- modelling language
- reference architecture
- formal methods
- highly modular