Using MPI as a Coordination Language for Concurrent Systems.
Fuyan LinHsiren WangPublished in: Parallel and Distributed Computing and Systems (1995)
Keyphrases
- concurrent systems
- process algebra
- temporal logic
- distributed systems
- formal specification
- petri net
- programming language
- general purpose
- specification language
- cooperative
- transition systems
- language learning
- model checking
- multi agent
- parallel implementation
- natural language
- high performance computing
- multiagent systems
- parallelization strategy
- information sharing
- pattern languages
- agent programming
- multi agent systems