A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs (Q5870863)
From MaRDI portal
scientific article; zbMATH DE number 7645068
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs |
scientific article; zbMATH DE number 7645068 |
Statements
A Mathematical Model of Parallel Programs and an Approach Based on it to Verification of MPI Programs (English)
0 references
24 January 2023
0 references
parallel programs
0 references
MPI
0 references
distributed processes
0 references
verification
0 references
