A Verifier for Compact Parallel Coordination Programs.
Boris D. LubachevskyPublished in: Logic of Programs (1983)
Keyphrases
- high level programming language
- parallel programming
- parallel processing
- computer programs
- multi agent
- parallel implementation
- massively parallel
- control flow
- multi agent systems
- evolutionary algorithm
- answer sets
- information systems
- distributed memory
- java programs
- multi agent reinforcement learning
- distributed agents
- multiagent coordination