Towards Algorithmic Synthesis of Synchronization for Shared-Memory Concurrent Programs
Roopsha SamantaPublished in: SYNT (2012)
Keyphrases
- concurrent programs
- shared memory
- parallel algorithm
- message passing
- parallel computing
- concurrent programming
- multi processor
- distributed memory
- concurrent processes
- process algebra
- parallel programming
- parallel machines
- web applications
- interprocess communication
- parallel execution
- petri net
- concurrent systems
- model checking
- real time
- communication protocols
- multi core systems