A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency.
Ian J. HayesLarissa A. MeinickeKirsten WinterRobert J. ColvinPublished in: Formal Aspects Comput. (2019)
Keyphrases
- shared memory
- message passing
- parallel algorithm
- multi processor
- distributed memory
- parallel computing
- program execution
- parallel architecture
- parallel programming
- parallel architectures
- shared memory multiprocessors
- database systems
- shared memory multiprocessor
- parallel computers
- parallel machines
- parallel computation
- data model
- interprocess communication
- high quality
- programming environment
- parallel execution
- graphical models
- heterogeneous platforms