A Formal Development of a Polychronous Polytimed Coordination Language.
Hai Nguyen VanFrédéric BoulangerBurkhart WolffPublished in: Arch. Formal Proofs (2019)
Keyphrases
- software engineering
- formal language
- programming language
- formal descriptions
- artificial intelligence
- relational databases
- knowledge based systems
- formal representation
- natural language
- cooperative
- multi agent
- case study
- multi agent systems
- information sharing
- development process
- formal model
- conceptual graphs
- database systems
- process management
- multi agent reinforcement learning
- highly expressive
- information systems