CoordMaude: Simplifying Formal Coordination Specifications of Cooperation Environment.
Marisol SánchezPedro J. ClementeJuan Manuel MurilloJuan Hernández NúñezPublished in: Electron. Notes Theor. Comput. Sci. (2003)
Keyphrases
- cooperative
- reactive systems
- requirements specification
- multi agent
- multi agent systems
- distributed problem solving
- formal specification
- information sharing
- information exchange
- real time
- dynamic environments
- mobile robot
- virtual world
- genetic algorithm
- petri net
- complex environments
- virtual enterprise
- operational semantics
- formal language
- cooperating agents