A Formal Specification-Based Approach to Distributed Parallel Programming.
Chia-Chu ChiangPublished in: HASE (2004)
Keyphrases
- formal specification
- parallel programming
- parallel algorithm
- model checking
- parallel computing
- reverse engineering
- commodity hardware
- formal methods
- shared memory
- distributed systems
- cloud computing
- programming environment
- parallel processing
- process algebra
- distributed environment
- cooperative
- parallel computation
- processing units
- peer to peer
- graphics processing units
- multi agent
- massively parallel
- mobile agents
- business rules
- computing environments
- software components
- design patterns
- general purpose
- database systems