On the specification and verification of the PCR parallel programming pattern in TLA+.
José E. SolsonaPublished in: CLEI Electron. J. (2023)
Keyphrases
- parallel programming
- parallel algorithm
- parallel processing
- model checking
- temporal logic
- parallel computation
- formal methods
- parallel computing
- programming environment
- cloud computing
- multi core processors
- shared memory
- massively parallel
- high level
- formal specification
- design patterns
- processing units
- programming paradigms
- computing systems
- fine grained
- data management