Keyphrases
- shared memory
- concurrent programs
- message passing
- parallel algorithm
- parallel computing
- distributed memory
- multi processor
- concurrent programming
- process algebra
- concurrent processes
- parallel programming
- parallel machines
- web applications
- shared memory multiprocessors
- model checking
- petri net
- concurrent systems
- markov random field
- artificial intelligence
- shared memory multiprocessor
- massively parallel
- programming language
- data model
- multi core systems
- real time