Unique Parallel Decomposition in Branching and Weak Bisimulation Semantics.
Bas LuttikPublished in: IFIP TCS (2012)
Keyphrases
- formal semantics
- parallel implementation
- logic programming
- distributed memory
- branch and bound
- parallel processing
- shared memory
- hierarchical decomposition
- upper bound
- decomposition method
- parallel algorithm
- general purpose
- wavelet packet
- computer architecture
- semantic information
- parallel programming
- decomposition algorithm