Reduced Execution Semantics of MPI: From Theory to Practice.
Sarvani S. VakkalankaAnh VoGanesh GopalakrishnanRobert M. KirbyPublished in: FM (2009)
Keyphrases
- logical framework
- semantic information
- general purpose
- speech acts
- parallel algorithm
- control flow
- message passing
- theoretical insights
- parallel implementation
- theoretical framework
- active rules
- logic programming
- proof theory
- theoretical frameworks
- data flow
- parallel computing
- massively parallel
- formal semantics
- integrity constraints
- general theory
- execution model
- formal languages
- abstract argumentation
- proof theoretic
- xml documents