A Refinement Calculus for Shared-Variable Parallel and Distributed Programming.
Jürgen DingelPublished in: Formal Aspects Comput. (2002)
Keyphrases
- parallel execution
- programming language
- distributed systems
- master slave
- distributed processing
- parallel database systems
- cooperative
- multi agent
- programming environment
- parallel data mining
- distributed data
- fault tolerant
- massively parallel
- parallel processing
- parallel programming
- distributed environment
- distributed network
- peer to peer
- shared memory
- message passing
- computer architecture
- load balancing
- multiple independent
- search algorithm