Correctness of Parallel Programs: The Church-Rosser Approach.
Barry K. RosenPublished in: Theor. Comput. Sci. (1976)
Keyphrases
- provably correct
- high level programming language
- shared memory
- parallel programming
- parallel implementation
- computer programs
- real world
- search algorithm
- parallel algorithm
- parallel processing
- distributed memory
- massively parallel
- answer sets
- distributed memory machines
- database
- video sequences
- artificial intelligence
- neural network
- databases