Keyphrases
- temporal logic
- parallel programming
- parallel algorithm
- model checking
- parallel processing
- parallel computing
- modal logic
- shared memory
- parallel computation
- cloud computing
- programming environment
- massively parallel
- linear temporal logic
- computation tree logic
- processing units
- design patterns
- mazurkiewicz traces
- databases
- reactive systems