Bisimilar and logically equivalent programs in PDL with parallel operator.
Mario R. F. BenevidesPublished in: Theor. Comput. Sci. (2017)
Keyphrases
- dynamic logic
- high level programming language
- distributed memory machines
- computer programs
- evolutionary algorithm
- parallel computation
- high level specifications
- data sets
- parallel hardware
- sorting algorithms
- control program
- parallel execution
- parallel programming
- stable models
- shared memory
- parallel processing
- expert systems
- case study
- search engine