Event-B Decomposition for Parallel Programs.
Thai Son HoangJean-Raymond AbrialPublished in: ASM (2010)
Keyphrases
- high level programming language
- hierarchical decomposition
- computer programs
- parallel processing
- event detection
- shared memory
- databases
- decomposition method
- parallel algorithm
- parallel computing
- stream processing
- event recognition
- parallel execution
- image sequences
- events occurring
- sorting algorithms
- information retrieval