Compositional Specifications of Parallel Programs: NondeterministicData Flow.
K. Mani ChandyBeverly A. SandersPublished in: Specification of Parallel Algorithms (1994)
Keyphrases
- control flow
- recursive programs
- high level
- high level programming language
- flow patterns
- parallel processing
- distributed memory
- parallel implementation
- real time
- formal specification
- distributed memory machines
- functional requirements
- shared memory
- information flow
- transformation rules
- parallel processors
- single processor
- flow field
- parallel algorithm
- multi agent
- learning algorithm